GitLab down

Richard Eisenberg rae at
Fri Oct 23 14:35:51 UTC 2020

> On Oct 23, 2020, at 10:05 AM, Ben Gamari <ben at> wrote:
> GitLab is back up and notification email has been restored.

I'm seeing new emails -- thanks. Should we expect to get the notifications that weren't delivered yesterday?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list