Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install...
authorSara Arjona <sara@moodle.com>
Fri, 9 Oct 2020 09:11:34 +0000 (11:11 +0200)
committerSara Arjona <sara@moodle.com>
Fri, 9 Oct 2020 09:11:34 +0000 (11:11 +0200)

Trivial merge