Merge branch 'MDL-67237-master' of git://github.com/dpalou/moodle
authorEloy Lafuente (stronk7) <stronk7@moodle.org>
Tue, 25 Feb 2020 22:53:19 +0000 (23:53 +0100)
committerEloy Lafuente (stronk7) <stronk7@moodle.org>
Tue, 25 Feb 2020 22:53:19 +0000 (23:53 +0100)

Trivial merge