[RESULT] [VOTE] merge the proton mailing list into the users/dev lists

[Robbie Gemmell]

There were 13 binding +1 votes received and another 2 from users, with
no other votes received. The vote has passed.

I'll chat with infra in the days ahead about how things proceed.

Robbie