BGBM BDI Projects / cdmlib.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 960efe8 50ae3d3)
Merge branch 'master' into develop
authorjenkins <jenkins-int@bgbm.org>
Wed, 19 Aug 2020 19:57:24 +0000 (21:57 +0200)
committerjenkins <jenkins-int@bgbm.org>
Wed, 19 Aug 2020 19:57:24 +0000 (21:57 +0200)

Trivial merge