Merge my and Petr's git-merge-one-file-script modifications

diff --cc git-merge-one-file-script
index 73e1c50bffdcee20131baa3938677dc19cde4c71,787ac446930e311b345a05ff1006ab343fa5a471..f0353c14b4c116a07a4a2b67453707767e4a1a3f
--- 1/git-merge-one-file-script
--- 2/git-merge-one-file-script
+++ b/git-merge-one-file-script
@@@ -23,9 -21,8 +23,10 @@@ case "${1:-.}${2:-.}${3:-.}" i
  "$1..")
        echo "WARNING: $4 is removed in both branches."
        echo "WARNING: This is a potential rename conflict."
-       exec git-update-cache --remove -- "$4"
 -      rm -f -- "$4" || exit 1
 -      exec git-update-cache --remove -- "$4" ;;
++      rm -f -- "$4" &&
++              exec git-update-cache --remove -- "$4"
 +      ;;
 +
  #
  # Deleted in one and unchanged in the other.
  #