mirror of
https://github.com/zulip/zulip.git
synced 2025-11-21 15:09:34 +00:00
Since years ago, this field hasn't been used for anything other than some logging that would be better off logging the user ID anyway. It existed in the first place simply because we weren't passing the user_profile_id to Tornado at all.
19 KiB
19 KiB