Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorVictor Deniz Falcon <victor@moodle.com>
Fri, 22 May 2020 13:21:32 +0000 (14:21 +0100)
committerVictor Deniz Falcon <victor@moodle.com>
Fri, 22 May 2020 13:21:32 +0000 (14:21 +0100)

Trivial merge