mirror of
https://github.com/zulip/zulip.git
synced 2025-11-16 11:52:01 +00:00
This mostly applies to the previous two commits. In principle, this could be teased out and merged into them, but the hassle here doesn't totally seem to be worth it. (imported from commit ee2469ca3762c50c6db49b93eec02b32589eafe3)