Skip to content

Drop support for GHC 9.0#3875

Merged
michaelpj merged 13 commits intomasterfrom mpj/drop-ghc-9Nov 20, 2023

Commits

Commits on Nov 17, 2023

Commits on Nov 19, 2023

Commits on Nov 20, 2023