Merge branch 'MDL-65222' of git://github.com/timhunt/moodle
authorDavid Monllaó <davidm@moodle.com>
Mon, 22 Apr 2019 07:08:37 +0000 (09:08 +0200)
committerDavid Monllaó <davidm@moodle.com>
Mon, 22 Apr 2019 07:08:37 +0000 (09:08 +0200)

Trivial merge