Merge pull request dotnet/extensions#2667 from dotnet-maestro-bot/merge/release/3.1-to-master

[automated] Merge branch 'release/3.1' => 'master'\n\nCommit migrated from ece6f30ff5
This commit is contained in:
Chris Ross 2019-11-15 11:47:15 -08:00 committed by GitHub
commit 0c6a38ffa9

Diff Content Not Available