Re: automated warning notifications

Julia Lawall
2012-06-15T10:40:58Z

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