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)
[automated] Merge branch 'release/3.1' => 'master'

Commit migrated from https://github.com/dotnet/Extensions/commit/75f60338c7a7f5625aba363cb115c32d998af2c9


Trivial merge