Hello again,

Sorry for all the operations-related noise folks, just wanted to send one final message to be sure that the list alias works for anyone who hasn't updated their addressbooks yet. After this I think we'll be back to normal operations, at least for the mailing list.

-g