Bugs

We now use trac as our bug-tracker. All bugs filed in the old bugzilla installation have been migrated.

Please choose one of the following options: