Merge pull request #995 from mikem8361/release/stable
authorMike McLaughlin <mikem@microsoft.com>
Tue, 7 Apr 2020 02:48:51 +0000 (19:48 -0700)
committerGitHub <noreply@github.com>
Tue, 7 Apr 2020 02:48:51 +0000 (19:48 -0700)
Merge latest master into release/stable


Trivial merge