Issue tracking has moved to github

Hey folks!

We just migrated our Jira issues to Github. From now on we will use Github for our issue tracking. Jira will remain in a read-only state for now. Please report new bugs, issues, feature requests etc on!


… and of course for any package that is not split off from those two repositories, use the issue tracker in the respective repository. If it is disabled, please let us know somehow, so we can enable it.