Support building with GHC 9.6 #1987
Merged
Mergify / Rule: Automatic merge on approval, CI, and ready-to-merge label (queue)
succeeded
Nov 20, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at f7b1966
Loading