Don't skip pending versions in the 3.3 floor bump - #4087

Merged

ChrisRackauckas merged 1 commit into

fix-version-gaps

Jul 31, 2026

Commits on Jul 31, 2026

Don't skip pending versions in the 3.3 floor bump

ChrisRackauckas
and
claude
committed