Merge branch 'hotfix/5.7.3' 5.7.3
authorjenkins <jenkins-int@bgbm.org>
Tue, 4 Jun 2019 11:35:21 +0000 (13:35 +0200)
committerjenkins <jenkins-int@bgbm.org>
Tue, 4 Jun 2019 11:35:21 +0000 (13:35 +0200)

Trivial merge