Dear list,
I do not know how this came about, but Github messages are being redirected this mailing list. Would it be possible to stop this? Interested users can decide for themselves on each Github issue whether they want to receive mail about it or not. Sending it unfiltered to the mailing list destroys this whole idea.
Thanks, Erik
