Merge branch 'MDL-64119-master' of git://github.com/junpataleta/moodle
authorJun Pataleta <jun@moodle.com>
Thu, 22 Nov 2018 12:34:06 +0000 (20:34 +0800)
committerJun Pataleta <jun@moodle.com>
Thu, 22 Nov 2018 12:34:06 +0000 (20:34 +0800)

Trivial merge