Merge pull request #9232 from tobiasd/20200917-install
authorMichael Vogel <icarus@dabo.de>
Sat, 19 Sep 2020 16:23:36 +0000 (18:23 +0200)
committerGitHub <noreply@github.com>
Sat, 19 Sep 2020 16:23:36 +0000 (18:23 +0200)
some updates to the Install documentation


Trivial merge