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)
commit64647b723d089eade8575eec70de96cc66b148c7
tree1ae6f1835cfd0e98e971dcaa2c044c35ff0a0931
parentc0dce1d3a666386f03dda46d78c835d09a268081
parentb61848fd0f530004ef9192f97bdedb81c4428559
Merge pull request #12498 from Andy2244/wsdd2-4-(19-07)

[19.07] wsdd2: update to git 2020-05-06