| commit | c4825fbd88bf8259d1b430bccddf59d2138574c8 | |
| author | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |
| Sat, 26 Oct 2024 21:54:20 +0000 (26 21:54 +0000) | ||
| committer | GitHub <noreply@github.com> | |
| Sat, 26 Oct 2024 21:54:20 +0000 (26 21:54 +0000) | ||
| tree | 4f3ddb79381f99b56b12cbde63b3810182a80641 | treesnapshot (tar.gz zip) |
| parent | cb167c8a332cb988d024e65243710df38396ae39 | commitdiff |
| parent | 6578978c084d130cb0732beefeff2240466b5350 | commitdiff |
Merge pull request #10468 from geekosaur/ghc-9.12.flags
add new options for ghc 9.12
add new options for ghc 9.12