Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorAdrian Greeve <abgreeve@gmail.com>
Thu, 20 Dec 2018 10:09:07 +0000 (11:09 +0100)
committerAdrian Greeve <abgreeve@gmail.com>
Thu, 20 Dec 2018 10:09:07 +0000 (11:09 +0100)

Trivial merge