I made good experience with labelling issues and PRs by version milestones (e.g. 2.18.0.0) in larger code bases (e.g. Agda).
This makes it easy to see which issue was fixed in which release.
It also helps to organize issues and PRs towards a planned release, documenting decisions (for oneself and others) what to include in the release.
Since QuickCheck is a very widely-used library, I think it would be helpful to the users to have this extra transparency.
I made good experience with labelling issues and PRs by version milestones (e.g.
2.18.0.0) in larger code bases (e.g. Agda).This makes it easy to see which issue was fixed in which release.
It also helps to organize issues and PRs towards a planned release, documenting decisions (for oneself and others) what to include in the release.
Since QuickCheck is a very widely-used library, I think it would be helpful to the users to have this extra transparency.