Skip to content

Allow base-4.19, deepseq-1.5#23

Merged
phadej merged 1 commit intomasterfrom ghc-9.8Oct 4, 2023

Commits

Commits on Oct 4, 2023