Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorVictor Deniz Falcon <victor@moodle.com>
Thu, 23 Jul 2020 15:10:16 +0000 (16:10 +0100)
committerVictor Deniz Falcon <victor@moodle.com>
Thu, 23 Jul 2020 15:10:16 +0000 (16:10 +0100)

Trivial merge