tools/bump-version: Update for current version numbers; refactor; handle mismatch#1874
Merged
gnprice merged 2 commits intozulip:mainfrom Oct 16, 2025
Merged
tools/bump-version: Update for current version numbers; refactor; handle mismatch#1874gnprice merged 2 commits intozulip:mainfrom
gnprice merged 2 commits intozulip:mainfrom