Merge branch 'master' into develop
Switch to using http and not git protocol
fixed the git URL for mkdur_ding.git
Merge remote-tracking branch 'ding2tal/development' into ding2-master
Merge remote-tracking branch 'josef-ddb/master' into ding2-master
Merge branch 'ding2-master' into develop
Merge branch 'develop'
Release: v1.14