Dear GHC Devs,there will be a short gitlab downtime (few minutes) right now because I need to adjust a setting to fix an issue with the deployment.
Best Magnus _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
