Merge branch 'MDL-71402' of git://github.com/paulholden/moodle
authorVíctor Déniz <victor@moodle.com>
Thu, 6 May 2021 15:46:19 +0000 (16:46 +0100)
committerVíctor Déniz <victor@moodle.com>
Thu, 6 May 2021 15:46:19 +0000 (16:46 +0100)

Trivial merge