Merge branch 'release/5.10.0' into develop
authorjenkins <jenkins-int@bgbm.org>
Mon, 23 Sep 2019 11:27:39 +0000 (13:27 +0200)
committerjenkins <jenkins-int@bgbm.org>
Mon, 23 Sep 2019 11:27:39 +0000 (13:27 +0200)

Trivial merge