Skip to content

user: Convert a lot more emails to user IDs, and other cleanups#4424

Merged
gnprice merged 25 commits into
zulip:masterfrom
gnprice:pr-user
Jan 22, 2021
Merged

user: Convert a lot more emails to user IDs, and other cleanups#4424
gnprice merged 25 commits into
zulip:masterfrom
gnprice:pr-user

Commits

Commits on Jan 22, 2021