Skip to content

v0.0.0.0-r9: allow QuickCheck-2.15#5

Merged
andreasabel merged 1 commit intomasterfrom QuickCheck-2.15Apr 23, 2024

Commits

Commits on Apr 23, 2024