Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter

Somebody claiming to be Erik de Castro Lopo wrote:

This is a good idea, one that I have solved at my end using Procmail.

I was planning to do this soon (as I get deeper into GHC hacking because of my port, but don't want the high-email-volume of the comitt and build emails). Procmail is awesome. -- Stephen Paul Weber, @singpolyma See http://singpolyma.net for how I prefer to be contacted edition right joseph