Shall we merge the dev mailing lists? This should reduce the cross-posting and can be completely automated (other than you may have to update your client-side filters) and was part of the plan to merge dev efforts.
I'd propose it be called [email protected]. I can put in an issue for infra@ to do it. -Grant --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
