Merge pull request #12465 from Andy2244/wsdd2-2020-05-06
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 9 Jun 2020 15:19:18 +0000 (18:19 +0300)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 15:19:18 +0000 (18:19 +0300)
commitcbb2526834caacc6f6b798b766acafa499125021
tree9362b836482a0345eecaaed16bdc9b44f655e67b
parent6b1d2365a93b9968b4f4e65d6283624827c9ecc4
parent0792409a13d4db84e93eef06bed1cc0e55885685
Merge pull request #12465 from Andy2244/wsdd2-2020-05-06

wsdd2: update to git 2020-05-06