Add script to prevent point releases with same number as existing ones#93128

Merged

bors merged 1 commit intorust-lang:masterfrom

pietroalbini:pa-verify-stable-version-number

Jan 21, 2022

Commits on Jan 20, 2022

add script to prevent point releases with same number as existing ones
pietroalbini
committed