Skip to content

Support GHC-9.8#60

Merged
phadej merged 1 commit intomasterfrom ghc-9.8Oct 11, 2023

Commits

Commits on Oct 11, 2023