cloud9 majordomo server broken

[Wietse Venema]

One of the Cloud9 majordomo servers (english-breakfast) is broken
and drops postings on the floor. It will hopefully be fixed today.

        Wietse