Subject: bug#52508: [PATCH] Option for vc-delete-file to keep file on disk

From: Richard Stallman <[email-masked]>
Date: Sun, 19 Dec 2021 23:42:37 -0500

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > But, vc-delete-file is used by a lot of people and it's probably muscle
  > memory for them.  I didn't want people to be affected much by this patch.

I'm convinced.  Happy hacking.

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)