srilm-user list changes

[Andreas Stolcke]

Hi all,

we'll be switching the srilm-user mailing list management software from 
Majordomo to GNU Mailman some time later today.
The list will be offline until then.  All current members will be added 
to the new list, and you'll be getting a welcome message with 
instructions on how to manage your list membership..

Sorry for the troubles we've been having with the software in the recent 
past, and for the temporary disruption.

Andreas