ben at well-typed.com
Mon Oct 26 21:25:50 UTC 2020
Richard Eisenberg <rae at richarde.dev> writes:
>> On Oct 23, 2020, at 10:05 AM, Ben Gamari <ben at well-typed.com> 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?
I'm afraid not. It looks like GitLab believes that the messages were
sent and I don't see any easy way to reconstruct which were lost.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs