Hi, > Alex, since that was the controversial part of the proposal, perhaps it is > better to have a separate vote for it.
No need for a vote IMO. Committers can unsubscribe just like they can unsubscribe to the dev list. Although I'd hope that all committer would stay subscribed to both lists as part of their responsibilities as a committer to this project. Thanks, Justin
