Fix cabal install in the presence of extra-packages #9719
Merged
Mergify / Rule: Put pull requests in the rebase+merge queue (queue)
succeeded
Mar 4, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 8f79eb4
Loading