Merge branch 'hotfix/0.25.20.11'
version bump
Merge branch 'hotfix/0.25.20.12'
Merge branch 'hotfix/0.25.20.12' into develop
README for github.
version bump
Merge branch 'hotfix/0.25.20.13'
Merge branch 'hotfix/0.25.20.13' into develop
Remove obsolete files and update gitignore
version bump
Merge branch 'hotfix/0.25.20.14' into develop