I'm getting a lot of messages like the one below. Sometimes pressing submit repeatedly makes it work, sometimes not.
Is GitLab struggling today? Simon [image: image.png]
_______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
