Update GHC 9.12 and HEAD git pins#2289
Merged
hamishmack merged 8 commits intomasterfrom hkm/update-ghc-git-pinsDec 9, 2024
+53-22
Commits
Commits on Dec 6, 2024
- committed
- committed
- committed
- committed
Commits on Dec 7, 2024
- committed
Commits on Dec 8, 2024
- committed
Commits on Dec 9, 2024
- committed
- committed