Hello: This list has been migrated to the new vger infrastructure. You should't need to change anything about how you participate with the list or how you receive mail. If something isn't working right, please reach out to helpdesk@xxxxxxxxxx. Best regards, Konstantin
