Skip to content

Bumps for GHC 9.6#291

Merged
andreasabel merged 8 commits intomasterfrom
ghc-9.6
Feb 22, 2023
Merged

Bumps for GHC 9.6#291
andreasabel merged 8 commits intomasterfrom
ghc-9.6

Commits

Commits on Feb 19, 2023

Commits on Feb 20, 2023