[plt-dev] Notifications poll

>> 2. Create a new mailing list for commits, and have all comitters on it
>>    (as well as anyone else who wants to be on it).  Leave plt-dev
>>    alone.
>>
>>
>>      
> I vote for #2.  There are clearly people interested in getting these
> messages, and there should be a standard way for anyone to get them.
> On the other hand, there are people generous enough to contribute
> their time and attention to plt-dev, and if they don't want a deluge
> of [what is to them] spam, they shouldn't have to put up with it from
> us.
>
>    

+1