issue tracking moved to github
Merge branch 'develop'