Closed AndreasPK closed 1 year ago
Based on the other MR's here/on gitlab and the missing commits on the github/ghc-head branch I guess the process is to open an MR against ghc-head, and those commits will be merged when this repo get's updated to a new ghc version.
So I will close this MR.
GHC MR 9351