On 17 Apr 2011, at 16:13, Marcus Denker wrote: > > The problem is that we can just use the Google tracker, not change it. The > tracker itself does not have even trivial support for grouping issues. And > *nothing* to > configure the mails it sends.
If you really care, do the following: - send all issues to some mail-bot, as I said, thats as simple as having a special user on some server, and a script to process incoming mail - preprocess the mails to your liking - send the processed/filtered mail to the mailing list. Best regards Stefan -- Stefan Marr Software Languages Lab Vrije Universiteit Brussel Pleinlaan 2 / B-1050 Brussels / Belgium http://soft.vub.ac.be/~smarr Phone: +32 2 629 2974 Fax: +32 2 629 3525
