Merge branch 'MDL-65819-39' of https://github.com/paulholden/moodle into MOODLE_39_STABLE
authorVictor Deniz Falcon <victor@moodle.com>
Wed, 22 Jul 2020 18:00:14 +0000 (19:00 +0100)
committerVictor Deniz Falcon <victor@moodle.com>
Wed, 22 Jul 2020 18:00:14 +0000 (19:00 +0100)

Trivial merge