Skip to content

Make it build with ghc 9.10#8

Open
erikd wants to merge 1 commit intotypeclasses:masterfrom
erikd:master
Open

Make it build with ghc 9.10#8
erikd wants to merge 1 commit intotypeclasses:masterfrom
erikd:master

Commits

Commits on May 21, 2024