Overview

Please use the specific projects to add tickets there. Use this generic project only if no other project is suitable.
All tickets of the previous trac server "PublicProblem" have been migrated to this place automatically, but we try to move the tickets to the new specific projects one by one.

Issue tracking

View all issues