mirror of
https://github.com/moodle/moodle.git
synced 2025-03-13 04:01:40 +01:00
e1eaf071e3
Misused get_role_users() was not returning users assigned in parent categories Merged from STABLE_19