Skip to content

Make it build with ghc-9.8#38

Merged
jorisdral merged 2 commits intomainfrom erikd/ghc-9.8Nov 30, 2023