Hi all! We're incrementally transitioning some of our mail sending to a new server. This list is one of the first being migrated to be relayed through the new server (we're also moving the ghc steering-committee list). If sending or receiving is dodgier than usual, please let me know! --Gershom