Merge pull request #12498 from Andy2244/wsdd2-4-(19-07)
authorRosen Penev <rosenp@gmail.com>
Sat, 13 Jun 2020 21:37:07 +0000 (14:37 -0700)
committerGitHub <noreply@github.com>
Sat, 13 Jun 2020 21:37:07 +0000 (14:37 -0700)
[19.07] wsdd2: update to git 2020-05-06


Trivial merge