Merge branch 'release/5.2.0'
authorjenkins <jenkins-int@bgbm.org>
Fri, 17 Aug 2018 13:23:46 +0000 (15:23 +0200)
committerjenkins <jenkins-int@bgbm.org>
Fri, 17 Aug 2018 13:23:46 +0000 (15:23 +0200)
commit2a5e027cdddc1d013c3c1ae8a5db116881d6b53b
tree7c7451db4c60b68ed5af19780e5f281d1087099c
parent004a7a4637159ea6f93848c2ce14b4a8638a5b7f
parent3da6827bdccd734e0c4c1e733a4eb063a9ed5f49
Merge branch 'release/5.2.0'