Fixed now. I suspect this happened when Martin last updated Mantis.
Thanks for letting us know! -Christian
On 9/13/22 21:10, Nikita Ronja Gillmann wrote:
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
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.
On 9/13/22 00:02, Willow Liquorice wrote:
Hello,
I've completed a first pass through the Doxygen comments and cleaned up
a lot of it. Those tasks aren't done (yet, I'll bring it up on Mantis),
but I've resumed organising the Doxygen groups. I'm a little confused
about the group with the inter
