Merge branch 'MoveToolsConfig' of https://github.com/ViktorHofer/corefx into MoveTool...
authorViktor Hofer <viktor.hofer@microsoft.com>
Wed, 29 May 2019 15:53:21 +0000 (17:53 +0200)
committerViktor Hofer <viktor.hofer@microsoft.com>
Wed, 29 May 2019 15:53:21 +0000 (17:53 +0200)
Commit migrated from https://github.com/dotnet/corefx/commit/6ff8890ea77087e7315436dd96306d6c2442877e


Trivial merge