Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorVíctor Déniz <victor@moodle.com>
Thu, 24 Sep 2020 15:27:03 +0000 (16:27 +0100)
committerVíctor Déniz <victor@moodle.com>
Thu, 24 Sep 2020 15:27:03 +0000 (16:27 +0100)

Trivial merge