Update GHC 9.12 and HEAD git pins#2289
Merged
hamishmack merged 8 commits intomasterfrom Dec 9, 2024
Merged
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