mirror of https://github.com/zulip/zulip.git
Merge tag '10.0-dev'
The 10.0-dev tag was created on the wrong commit, and force-pushing it would break upgrade-zulip-from-git. Merge it into main so that cache-zulip-git-version detects the right version. Signed-off-by: Anders Kaseorg <andersk@mit.edu>
This commit is contained in:
commit
62e8261e63