Sébastien Ros 47616d4c3d Merge pull request dotnet/extensions#2771 from dotnet-maestro-bot/merge/release/3.1-to-master ... [automated] Merge branch 'release/3.1' => 'master'\n\nCommit migrated from 692eb2ba0d		2019-12-12 07:50:17 -08:00
src	Merge pull request dotnet/extensions#2749 from dotnet-maestro-bot/merge/release/3.1-to-master	2019-12-05 13:31:16 -08:00