bump-quickcheck.patch
