Merge branch 'hotfix/5.9.3' 5.9.3
authorjenkins <jenkins-int@bgbm.org>
Fri, 6 Sep 2019 12:40:32 +0000 (14:40 +0200)
committerjenkins <jenkins-int@bgbm.org>
Fri, 6 Sep 2019 12:40:32 +0000 (14:40 +0200)

Trivial merge