Messages in this thread | | | Date | Fri, 15 Jun 2012 06:40:51 -0400 (EDT) | From | Julia Lawall <> | Subject | Re: automated warning notifications |
| |
> > Eventually I think we will want to set up a mailing list for this or > > we will start sending duplicate messages. > > Fair enough. How can we setup the mailing list? Once the list up, it > would be trivial for me to send sparse warnings out there.
I'm not completely sure that a mailing list would completely eliminate duplicate messages. But still, it could be the place for people who are interested in seeing such messages to go to, so it seems like a good thing. I would be happy to contribute content :)
julia
| |