No matches were found for subject:"Re\: \[Git\-dpm\-user\] What is the official git\-dpm way to delete a patch\?"