On Mon, Oct 26, 2020 at 03:25 PM, Mark Fletcher wrote:

I do not get any notification. There are three indicators: complaints on beta@, mail queues filling up, and error messages from email servers when we try to send messages to them.

Thanks for describing the position; I asked because I would not want to post on beta about something that had already been flagged up automatically. At least we now know that raising it here is not superfluous noise.

At least I hope it isn't. :)