FYI: We've been having some problems with our mailing list provider over the past few weeks.
No mails have been lost, but sometimes mails queue up endlessly at our mailing list provider until a human IT staffer goes in, fixes a problem, and effectively releases all the mails that have queued up. This can result in large delays between when you send an email and when it is actually delivered to the list. Sorry about this! Our mailing list provider is working on it, and hopes to have it resolved soon (e.g., today they're rebuilding our mailman server from scratch in the hopes that it will be more reliable than the previous setup). -- Jeff Squyres jsquy...@cisco.com