mirror of
https://github.com/moodle/moodle.git
synced 2025-01-23 16:48:36 +01:00
977070f9e8
with one change I was trying some time ago...sorry :-( But now all should be correct.