Merge pull request dotnet/Extensions#2736 from dotnet-maestro-bot/merge/release/3...
authorPranav K <prkrishn@hotmail.com>
Wed, 4 Dec 2019 21:01:46 +0000 (13:01 -0800)
committerGitHub <noreply@github.com>
Wed, 4 Dec 2019 21:01:46 +0000 (13:01 -0800)
commitd6fd1c7942f6a0054b72b61b71e717613361730d
treee30082afe96710393913550d6aac7e93ee665fc2
parent8920f83a9de718f53031aab23ba3cb6efe586f38
parentdf4ed41f8a53f177c766e48c5ce16556171a7295
Merge pull request dotnet/Extensions#2736 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/1b7b57de72193dd50e1db8b5f42e4f851b22ad64