#810580 git-dpm: how to drop a patch??