Hi folks,

Part of the mailing list server infrastructure stopped working a couple
of weeks ago. It should now be working fine, and delayed messages should
now be transmitted.

Thanks to David Goldstein for reporting the issue to me.

kim