Merge branch 'MDL-67812-master-latest-3' of git://github.com/mihailges/moodle
authorVíctor Déniz Falcón <victor@moodle.com>
Mon, 18 May 2020 15:04:58 +0000 (16:04 +0100)
committerVíctor Déniz Falcón <victor@moodle.com>
Mon, 18 May 2020 15:04:58 +0000 (16:04 +0100)

Trivial merge