Ok, after discussing this with multiple people, we have decided to go ahead. The Foundations team is willing to take ownership of this package in main.
Dear MIR team: can we continue the MIR process?
Ok, after discussing this with multiple people, we have decided to go ahead. The Foundations team is willing to take ownership of this package in main.
Dear MIR team: can we continue the MIR process?