mantis sets no real domain to filter emails from

[Nikita Ronja Gillmann]

Mantis used to set nore...@gnunet.org, now it sets the example.com address for 
everything.
This makes it rather hard to filter when you are still on some bug tickets.

Can you please fix that to conform to point to gnunet.org?

Thanks.