drop-clippy-dev-dep.patch
