Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorSara Arjona <sara@moodle.com>
Tue, 22 Oct 2019 12:49:03 +0000 (14:49 +0200)
committerSara Arjona <sara@moodle.com>
Tue, 22 Oct 2019 12:49:03 +0000 (14:49 +0200)

Trivial merge