Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorSara Arjona <sara@moodle.com>
Fri, 8 Nov 2019 14:39:33 +0000 (15:39 +0100)
committerSara Arjona <sara@moodle.com>
Fri, 8 Nov 2019 14:39:33 +0000 (15:39 +0100)

Trivial merge