Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorDavid Monllao <davidm@moodle.com>
Tue, 23 Oct 2018 14:42:12 +0000 (16:42 +0200)
committerDavid Monllao <davidm@moodle.com>
Tue, 23 Oct 2018 14:42:12 +0000 (16:42 +0200)

Trivial merge