Skip to content

Release tasty-1.5.1, tasty-quickcheck-0.11, tasty-hunit-0.10.2#420

Merged
Bodigrim merged 1 commit intomasterfrom
release-1.5.1
Jun 22, 2024
Merged

Release tasty-1.5.1, tasty-quickcheck-0.11, tasty-hunit-0.10.2#420
Bodigrim merged 1 commit intomasterfrom
release-1.5.1

Commits

Commits on Jun 15, 2024