Merge pull request dotnet/Extensions#2292 from dotnet-maestro-bot/merge/release/3...
authorJohn Luo <johluo@microsoft.com>
Fri, 6 Sep 2019 21:28:25 +0000 (14:28 -0700)
committerGitHub <noreply@github.com>
Fri, 6 Sep 2019 21:28:25 +0000 (14:28 -0700)
[automated] Merge branch 'release/3.1' => 'master'

Commit migrated from https://github.com/dotnet/Extensions/commit/5ccc6c2c8493bb02c421d24a4318c47af4772915


Trivial merge