Skip to content

Support ghc 9.12#12

Merged
erikd merged 2 commits intomasterfrom
erikd/ghc-9.12
Dec 5, 2024
Merged

Support ghc 9.12#12
erikd merged 2 commits intomasterfrom
erikd/ghc-9.12

Commits

Commits on Dec 5, 2024