Merge branch 'MDL-69906-310-searchsimpledb' of git://github.com/mudrd8mz/moodle into...
authorEloy Lafuente (stronk7) <stronk7@moodle.org>
Mon, 19 Oct 2020 20:56:31 +0000 (22:56 +0200)
committerEloy Lafuente (stronk7) <stronk7@moodle.org>
Mon, 19 Oct 2020 20:56:31 +0000 (22:56 +0200)

Trivial merge