mirror of
https://github.com/zulip/zulip.git
synced 2025-11-16 20:02:15 +00:00
If a message was edited to remove a user mention, we don't remove the push_notification for the user if the user has stream_push_notfications enabled.
21 KiB
21 KiB