Regarding HP Service Manager future

As HP selling its software division to Microfocus, will HP Service Manager be owned by HPE or Micro Focus ?