Merge branch 'install_310_STABLE' of https://git.in.moodle.com/amosbot/moodle-install...
authorVíctor Déniz <victor@moodle.com>
Thu, 10 Dec 2020 21:10:40 +0000 (21:10 +0000)
committerVíctor Déniz <victor@moodle.com>
Thu, 10 Dec 2020 21:10:40 +0000 (21:10 +0000)

Trivial merge