BGBM BDI Projects / cdm-vaadin.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: f302ddd 6d263be)
jenkins merging release branch into master (strategy: theirs) 5.12.0
authorjenkins <jenkins-int@bgbm.org>
Mon, 20 Jan 2020 12:54:06 +0000 (13:54 +0100)
committerjenkins <jenkins-int@bgbm.org>
Mon, 20 Jan 2020 12:54:06 +0000 (13:54 +0100)
commitd411f69c45be7d5c541e4a7e3a222c6348706f3c
treec37c2d9701898e307807283cc7e64f8c32f099e2tree | snapshot
parentf302dddc2523358d92d874b01d98c7c57b16dda8commit | diff
parent6d263bef1f11243834548f12e58485f00c3b1d9ccommit | diff
jenkins merging release branch into master (strategy: theirs)