Skip to content

Support GHC-9.12.1#317

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

Support GHC-9.12.1#317
phadej merged 1 commit intomasterfrom
ghc-9.12

Commits

Commits on Dec 19, 2024