Merge branch 'MDL-67377-master' of git://github.com/ferranrecio/moodle
authorVíctor Déniz Falcón <fitodeniz@gmail.com>
Wed, 15 Jan 2020 20:51:41 +0000 (20:51 +0000)
committerVíctor Déniz Falcón <fitodeniz@gmail.com>
Wed, 15 Jan 2020 20:51:41 +0000 (20:51 +0000)

Trivial merge