Merge branch 'release/4.12.0' 4.12.0
authorjenkins <jenkins-int@bgbm.org>
Wed, 6 Dec 2017 12:29:05 +0000 (13:29 +0100)
committerjenkins <jenkins-int@bgbm.org>
Wed, 6 Dec 2017 12:29:05 +0000 (13:29 +0100)
commitc3eaaf02e56dc13bb8a8d68ce3a78f41c9972ea3
treec6fefb3d3f6a888bda84d6f5ad2e94e872ae42a0
parent39b4b9e91739c219b73edf348322e59696aa820e
parente42c54945771bc273aafa1ca8f8bddf01d4d387e
Merge branch 'release/4.12.0'