remove-quickcheck-feature.diff
