This is a quick notice to inform everyone that on Mon., May 25, 2020 beginning at 10:00 AM eastern, there will be slight downtime as the mailing list server is upgraded.
The downtime will only effect the mailing list server, MailMan. No other services will be effected.
The downtime should only last an hour. Emails to any mailing list should be able to be received by the mail server, but will be processed after MailMan is brought back online.
Have a good memorial day weekend.