Merge branch 'hotfix/5.5.1' 5.5.1
authorjenkins <jenkins-int@bgbm.org>
Mon, 25 Feb 2019 12:36:54 +0000 (13:36 +0100)
committerjenkins <jenkins-int@bgbm.org>
Mon, 25 Feb 2019 12:36:54 +0000 (13:36 +0100)

Trivial merge