Hi Simon, It's not just you. We are aware of the problem and Magnus is trying to bring it back up.
We will keep you updated on the status. - Zubin On 26/04/27 08:48, Simon Peyton Jones via ghc-devs wrote:
Friends Is it just me or is GHC's GitLab down? I'm getting 502 (bad gateway). Simon
_______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
_______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
