add the applicable new (version 9.10) GHC flags to normaliseGhcArgs #10014
Mergify / Rule: Put pull requests in the squash+merge queue (queue)
succeeded
Jun 12, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at be10be8
Loading