Skip to content

Use GHC-9.14.1 rc2#803

Merged
phadej merged 1 commit intomasterfrom
ghc-9.14-rc2
Nov 19, 2025
Merged

Use GHC-9.14.1 rc2#803
phadej merged 1 commit intomasterfrom
ghc-9.14-rc2

Commits

Commits on Nov 18, 2025