Merge branch 'install_master' of https://git.in.moodle.com/amosbot/moodle-install
authorEloy Lafuente (stronk7) <stronk7@moodle.org>
Fri, 10 Jul 2020 18:21:38 +0000 (20:21 +0200)
committerEloy Lafuente (stronk7) <stronk7@moodle.org>
Fri, 10 Jul 2020 18:21:38 +0000 (20:21 +0200)

Trivial merge