Merge branch 'release/1.12'
Merge branch 'release/1.13'
Correct HOWTO.
Merge branch 'hotfix/1.13.1' into develop