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)
wsdd2: update to git 2020-05-06


Trivial merge