Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorJun Pataleta <jun@moodle.com>
Fri, 24 Apr 2020 01:41:00 +0000 (09:41 +0800)
committerJun Pataleta <jun@moodle.com>
Fri, 24 Apr 2020 01:41:00 +0000 (09:41 +0800)

Trivial merge