mirror of
https://github.com/zulip/zulip.git
synced 2025-11-01 20:44:04 +00:00
It is apparently possible to have a mention of a user who is not (or no longer?) in the `users.bson` table. Skip such mention for the purposes of Zulip import; there's nothing better for us to do.