Merge branch 'hotfix/5.7.1' 5.7.1
authorjenkins <jenkins-int@bgbm.org>
Thu, 9 May 2019 09:33:02 +0000 (11:33 +0200)
committerjenkins <jenkins-int@bgbm.org>
Thu, 9 May 2019 09:33:02 +0000 (11:33 +0200)

Trivial merge