HowTo

1. Report a Bug Check open bug list if your bug has already been reported. If not:
2. Click this Link
3. Select Type: "Bug"
   
4. 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

...