Reporting bugs

To report bugs, use the issue tracker of GitHub and select "new issue"

When opening a new issue, please try to add information on how to reproduce the bug. Please also explain what the expected behaviour would be (what happenend, what has to be done to trigger it, what was expected to happen). This usually simplifies a lot hunting down the bug.