Merge branch 'master' of mono
authordotnet-bot <dotnet-bot@microsoft.com>
Sat, 18 Jan 2020 10:20:09 +0000 (05:20 -0500)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Sat, 18 Jan 2020 12:45:08 +0000 (13:45 +0100)

Trivial merge