Merge pull request #35275 from kjpou1/doc/requirements/mono
authorKenneth Pouncey <kjpou@pt.lu>
Wed, 22 Apr 2020 10:32:46 +0000 (12:32 +0200)
committerGitHub <noreply@github.com>
Wed, 22 Apr 2020 10:32:46 +0000 (12:32 +0200)
[docs] Helpful links when building the first time.


Trivial merge