Merge branch 'master' of /home/vihofer/consolidation/artifacts/core-setup
authordotnet-bot <dotnet-bot@microsoft.com>
Thu, 14 Nov 2019 00:31:08 +0000 (01:31 +0100)
committerdotnet-bot <dotnet-bot@microsoft.com>
Thu, 14 Nov 2019 00:31:08 +0000 (01:31 +0100)

Trivial merge