Merge branch 'MDL-67470-master' of git://github.com/junpataleta/moodle
authorJun Pataleta <jun@moodle.com>
Tue, 31 Dec 2019 03:29:58 +0000 (11:29 +0800)
committerJun Pataleta <jun@moodle.com>
Tue, 31 Dec 2019 03:29:58 +0000 (11:29 +0800)

Trivial merge