[plt-dev] Notifications poll

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Mon Apr 19 00:26:34 EDT 2010

>> 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.


Posted on the dev mailing list.