Dear GHC Devs,

looks like we pulled in a bug when I recently updated gitlab for security reasons.

I hope to revert it, which will cause a few minutes of downtime.

Best

Magnus

_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to