Commit d3bcc3d18ab565811e1da723157c85657570b010

Stefan Sperling 2019-08-08T17:27:36

make revert of a staged deletion a no-op for better interaction with -R