Update release scripts for 3.12#191

Merged

harisont merged 3 commits intomasterfrom

minor-updates-binary-packages

Aug 8, 2025

Commits on Aug 8, 2025

Update release scripts for 3.12

inariksit
authored and
anka-213
committed
also add the 9.6 compatibility fixes to PGF2

inariksit
authored and
anka-213
committed
Fix warnings for ghc-9.6 about multiplicity syntax
anka-213
committed