mirror of
https://github.com/zulip/zulip.git
synced 2025-11-19 14:08:23 +00:00
We will use this later to display which user group was mentioned in push and email notifications. `mentioned_user_group_ids` is kept as a List (not Set) to ensure proper test coverage of the function, since it depends on the order of iteration, and we cannot change the order of iteration for a set (which we'll need to do for proper testing). Part of #13080.
14 KiB
14 KiB