Merge pull request dotnet/Extensions#2771 from dotnet-maestro-bot/merge/release/3...
authorSébastien Ros <sebastienros@gmail.com>
Thu, 12 Dec 2019 15:50:17 +0000 (07:50 -0800)
committerGitHub <noreply@github.com>
Thu, 12 Dec 2019 15:50:17 +0000 (07:50 -0800)
[automated] Merge branch 'release/3.1' => 'master'

Commit migrated from https://github.com/dotnet/Extensions/commit/692eb2ba0d8b85087b18df2a14879dd3713f8313


Trivial merge