Skip to content

Support ghc 9.12#522

Merged
jtdaugherty merged 2 commits intojtdaugherty:masterfrom
erikd:master
Dec 6, 2024
Merged

Support ghc 9.12#522
jtdaugherty merged 2 commits intojtdaugherty:masterfrom
erikd:master

Commits

Commits on Dec 6, 2024