mirror of
https://github.com/zulip/zulip.git
synced 2025-11-09 16:37:23 +00:00
If we can't find data on a mentioned user to update its full_name to the current value, we'll have to go with the value in the message itself. This can happen if e.g. we hard-deleted the originally mentioned user from the database (which can sometimes happen after a "delete my account completely" request).
56 KiB
56 KiB