Skip to content

Merge upstream changes (upgrade to GHC 9.8)#13

Closed
ad-si wants to merge 2 commits into
masterfrom
upgrade-ghc-9-8
Closed

Merge upstream changes (upgrade to GHC 9.8)#13
ad-si wants to merge 2 commits into
masterfrom
upgrade-ghc-9-8

Merge remote-tracking branch 'upstream/master'

e4975e4
Select commit
Loading
Failed to load commit list.