Merge mutual deletion (fixes #737)