Merge branch 'release/5.8.0' into develop
authorjenkins <jenkins-int@bgbm.org>
Fri, 19 Jul 2019 13:14:57 +0000 (15:14 +0200)
committerjenkins <jenkins-int@bgbm.org>
Fri, 19 Jul 2019 13:14:57 +0000 (15:14 +0200)
commit3c373afd57bac657ce3e4accdd3b35573a48cc27
tree1751b144a2abb9f68a02a57dea2539c3965cd935
parent909ca8e0cc6bae26863641805c70902612a31783
parent076f3a94dde3a6826e041269f58ab0464850bd7f
Merge branch 'release/5.8.0' into develop