Skip to content

Use GHC-9.12-rc1 (9.12.0.20241128)#757

Merged
phadej merged 1 commit intomasterfrom
ghc-9.12-rc1
Dec 2, 2024
Merged

Use GHC-9.12-rc1 (9.12.0.20241128)#757
phadej merged 1 commit intomasterfrom
ghc-9.12-rc1

Commits

Commits on Dec 2, 2024