This was a side effect of work to archive the PDT bugzilla product. In order to prevent 'spamming' people with a few thousand(6096 to be specific) bug notices I had disabled mail delivery for a few minutes.
-Matt. On Thu, May 14, 2020 at 5:06 PM Jonah Graham <[email protected]> wrote: > Hello folks, > > AFAICT a bunch of Bugzilla emails were never delivered today. As they are > being delivered again I assume any problem is resolved, but there may be > some missing notifications to deal with. > > E.g. I never got emails for > https://bugs.eclipse.org/bugs/show_bug.cgi?id=563018#c6 and a couple of > bugs I submitted. > > Thanks, > Jonah > _______________________________________________ > cross-project-issues-dev mailing list > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev >
_______________________________________________ cross-project-issues-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
