Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorVictor Deniz Falcon <victor@moodle.com>
Thu, 12 Mar 2020 14:22:00 +0000 (14:22 +0000)
committerVictor Deniz Falcon <victor@moodle.com>
Thu, 12 Mar 2020 14:22:00 +0000 (14:22 +0000)

Trivial merge