Skip to content

Allow building with GHC 9.8#139

Merged
jhrcek merged 2 commits intomasterfrom ghc98Jan 3, 2024

Commits

Commits on Jan 3, 2024