mirror of
https://github.com/zulip/zulip.git
synced 2025-11-01 20:44:04 +00:00
We should now rename set_muted_topics to set_user_topics as with the new user_topic event, there will be various types of user-topic configurations to handle other than just muting topics.