Merge pull request dotnet/Extensions#2294 from dotnet-maestro-bot/merge/release/3...
authorJohn Luo <johluo@microsoft.com>
Fri, 6 Sep 2019 21:48:08 +0000 (14:48 -0700)
committerGitHub <noreply@github.com>
Fri, 6 Sep 2019 21:48:08 +0000 (14:48 -0700)
commitf0ec7fc893ce3105efadf2d36e81638280e60dd8
tree0178f831b698451ee59af10cd0f08e745d012d99
parentf44b9a0d8f9cf722048739ec1314b36257a87d04
parenteb199b2791edab9a3ab9df787ab8eb9454c5cabe
Merge pull request dotnet/Extensions#2294 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/75f60338c7a7f5625aba363cb115c32d998af2c9