Skip to content

Make GHC2021 extensions default#520

Merged
mergify[bot] merged 9 commits intomainfrom ghc2021Jul 1, 2022

Commits

Commits on Jun 30, 2022

Commits on Jul 1, 2022