Merge pull request #25734 from dotnet-maestro-bot/merge/master-to-release/3.0
authorWilliam Godbe <wigodbe@microsoft.com>
Wed, 17 Jul 2019 01:55:52 +0000 (18:55 -0700)
committerGitHub <noreply@github.com>
Wed, 17 Jul 2019 01:55:52 +0000 (18:55 -0700)
[automated] Merge branch 'master' => 'release/3.0'


Trivial merge