Merge branch 'MDL-70112' of https://github.com/timhunt/moodle
authorVíctor Déniz <victor@moodle.com>
Wed, 4 Nov 2020 19:17:04 +0000 (19:17 +0000)
committerVíctor Déniz <victor@moodle.com>
Wed, 4 Nov 2020 19:17:04 +0000 (19:17 +0000)

Trivial merge