I propose that the [email protected] list is shut down, and emails to the list are bounced with a message to contact the [email protected] list.
Unless there are any objections, I intend to raise the relevant INFRA JIRA sometime after Fri 24th Sep 14:30 UTC. Sebb.
