New issue tracker is on GitHub
Merge branch 'develop'