mirror of
https://github.com/moodle/moodle.git
synced 2025-01-18 22:08:20 +01:00
fbe420fc26
* When we add users to a group (or remove them), we should refresh the course index cache so it stays in sync with what the user can actually see.