Merge branch 'master' into wip/romes/fixes
commita9abbf7979761f6a1080776ba388cdd991befc00
authorRodrigo Mesquita <rodrigo.m.mesquita@gmail.com>
Tue, 9 Apr 2024 10:07:14 +0000 (9 11:07 +0100)
committerGitHub <noreply@github.com>
Tue, 9 Apr 2024 10:07:14 +0000 (9 11:07 +0100)
tree56b355f4857f6b7fa6bdb156b07f623796d8f106
parent355b48c33d00ec17d3c0a989b5bf24466c42c2fb
parentd7147fc1057d221a6012889a5593504151cb7598
Merge branch 'master' into wip/romes/fixes
project-cabal/ghc-options.config