Skip to content

Support GHC-9.14#214

Merged
phadej merged 1 commit into
masterfrom
ghc-9.14
Apr 16, 2026
Merged

Support GHC-9.14#214
phadej merged 1 commit into
masterfrom
ghc-9.14

Conversation

@phadej
Copy link
Copy Markdown
Collaborator

@phadej phadej commented Apr 16, 2026

Closes #213
Closes #211
Closes #207

@phadej phadej force-pushed the ghc-9.14 branch 2 times, most recently from db2c286 to 1072e87 Compare April 16, 2026 09:55
@phadej phadej merged commit 7ff3ad5 into master Apr 16, 2026
31 of 33 checks passed
@phadej phadej deleted the ghc-9.14 branch April 16, 2026 16:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant