Skip to content

Cleanups, GHC-9.14 support#103

Merged
phadej merged 1 commit into
masterfrom
ghc-9.14
May 11, 2026
Merged

Cleanups, GHC-9.14 support#103
phadej merged 1 commit into
masterfrom
ghc-9.14

Commits

Commits on May 10, 2026