Merge pull request dotnet/Extensions#2883 from dotnet-maestro-bot/merge/release/3...
authorJohn Luo <johluo@microsoft.com>
Thu, 23 Jan 2020 04:58:21 +0000 (20:58 -0800)
committerGitHub <noreply@github.com>
Thu, 23 Jan 2020 04:58:21 +0000 (20:58 -0800)
commit66b24a4c01a6f400b9700653a861e328c68ab404
treed6b567b2fd6766fb133d9fe3f44c5bf946f3eb8d
parent3f14ec03d6e19082ffb97bea922fc6d060f3f34e
parent96e7db01d356afb6e3b64c9e4fd07dba281bee7a
Merge pull request dotnet/Extensions#2883 from dotnet-maestro-bot/merge/release/3.1-to-master

[automated] Merge branch 'release/3.1' => 'master'

Commit migrated from https://github.com/dotnet/Extensions/commit/302f6778cbff10efdf6fa06c5b9d53584d33c476