Merge branch 'release/4.13.0' into develop
authorjenkins <jenkins-int@bgbm.org>
Wed, 31 Jan 2018 13:39:19 +0000 (14:39 +0100)
committerjenkins <jenkins-int@bgbm.org>
Wed, 31 Jan 2018 13:39:19 +0000 (14:39 +0100)
commit34904701046d4d8aa88eaccb82e943edbbcc4eef
tree706a1dd47dfcf35d18b15b116d5a9b01fc70b4a3
parent4f5437d8c8a2b000e92fe2e7a2ecbac4a4a2f8a0
parentb4adef17953dfbfa439ae6a1161227462634e736
Merge branch 'release/4.13.0' into develop