Am 12.02.2019 um 23:35 schrieb Allin Cottrell:

Anyway, apparently something weird happened between mailman and gmail last night.

Speaking of which: Wasn't there a plan to switch the mailing lists, forced by external IT changes?

cheers
sven