Skip to content

Fix the compilation with GHC 9.8.1, issue #17#18

Open
blamario wants to merge 1 commit intotov:mainfrom
blamario:main
Open

Fix the compilation with GHC 9.8.1, issue #17#18
blamario wants to merge 1 commit intotov:mainfrom
blamario:main

Commits

Commits on Jan 11, 2024