HowTo
- Check open bug list if your bug has already been reported. If not:
- Click this Link
- Select Type: "Bug"
- Add Information
- Add as many as possible useful informations, like:
- dump (copy) from the error
- when does the error arises?
- under which special circumstances?
- Take care: don't put sensible data in a public ticket system!
Useful informations to provide
TODO