Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorAdrian Greeve <abgreeve@gmail.com>
Fri, 24 Jan 2020 02:16:39 +0000 (10:16 +0800)
committerAdrian Greeve <abgreeve@gmail.com>
Fri, 24 Jan 2020 02:16:39 +0000 (10:16 +0800)

Trivial merge