Mantis bugtracker is online again
Good news for everyone missing our Mantis bugtracking system - it's back in business again!
So the "old" rule applies again... Before you report a bug, you should have a look at Mantis, if it is already listed there.