mirror of
https://github.com/zulip/zulip.git
synced 2025-11-07 15:33:30 +00:00
When a user's name is edited, currently we still show the old name is mentions (though clicking on the item does the right thing). However, at present, it creates a new problem in search results, where the highlighting is removed by this substitution.
43 KiB
43 KiB