Merge branch 'master' into merge/release/3.1-to-master
authorPranav K <prkrishn@hotmail.com>
Thu, 5 Dec 2019 01:30:50 +0000 (17:30 -0800)
committerGitHub <noreply@github.com>
Thu, 5 Dec 2019 01:30:50 +0000 (17:30 -0800)
Commit migrated from https://github.com/dotnet/Extensions/commit/cf0d40419682aeb3ad122050198a5db41a1554d7


Trivial merge