Report a bug

We use GitHub's issue tracker. If you have found a bug or have an enhancement proposal, open an issue.

There is a dedicated issue tracker for:

If your issue doesn't fall into one of these categories, it might be better to send email to the development mailing list.

We also maintain a list of major known issues in the current release.