Skip to content

Do not allow selection of v12 beta/rc versions now that final is out#104

Merged
cknitt merged 3 commits intomasterfrom
rescript-12
Nov 25, 2025
Merged

Do not allow selection of v12 beta/rc versions now that final is out#104
cknitt merged 3 commits intomasterfrom
rescript-12

Commits

Commits on Nov 25, 2025