Skip to content

Allow GHC-9.12.1#313

Merged
phadej merged 1 commit intomasterfrom
ghc-9.12.1
Nov 9, 2024
Merged

Allow GHC-9.12.1#313
phadej merged 1 commit intomasterfrom
ghc-9.12.1

Commits

Commits on Nov 9, 2024