Merge branch 'release/5.25.0' 5.25.0
authorjenkins <jenkins-int@bgbm.org>
Thu, 15 Jul 2021 14:58:28 +0000 (16:58 +0200)
committerjenkins <jenkins-int@bgbm.org>
Thu, 15 Jul 2021 14:58:28 +0000 (16:58 +0200)

Trivial merge