mirror of
https://github.com/moodle/moodle.git
synced 2025-01-19 14:27:22 +01:00
6985c78c6b
(http://moodle.org/bugs/bug.php?op=show&bugid=5332) Merged from MOODLE_16_STABLE