Merge branch 'MDL-71022' of git://github.com/paulholden/moodle
authorVíctor Déniz <victor@moodle.com>
Tue, 23 Mar 2021 22:49:55 +0000 (22:49 +0000)
committerVíctor Déniz <victor@moodle.com>
Tue, 23 Mar 2021 22:49:55 +0000 (22:49 +0000)

Trivial merge