On Tue, 2010-11-30 at 11:42 +0100, Mario Torre wrote:
Yeah, those sort of things never get fixed. I'll unsubscribe too.
FYI, the list is now in place for a couple of days (proof that it does
get fixed) and seems to be working nicely both for commit and bugzilla
messages.
Pierre