Report an issue
Issue tracker
We welcome issue reports (bugs, improvements, new feature requests, …) in our issue tracker:
Show the JIRA issue tracker.
Log in and click on the button Create Issue to report a bug, improvement or feature request.
Pull requests on GitHub
Want to fix the issue yourself? Fork the git repository and send in a pull request.
Show the open pull requests.