Merge branch 'MDL-67491-master' of git://github.com/junpataleta/moodle
authorJun Pataleta <jun@moodle.com>
Mon, 30 Dec 2019 04:41:49 +0000 (12:41 +0800)
committerJun Pataleta <jun@moodle.com>
Mon, 30 Dec 2019 04:41:49 +0000 (12:41 +0800)

Trivial merge