Subject: Re: bug#41097: 28.0.50; (dired-toggle-marks) not working after copy

From: Richard Stallman <[email-masked]>
Date: Mon, 11 May 2020 23:21:03 -0400

[[[ 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. ]]]

  > I found the definition in the Merriam Webster, thank you, that is
  > right, to flag means to mark it to attract attention.

Since deleting a file is the most drastic thing Dired can do to it,
I think it is reasonable to use "flag" to mean "mark for deletion."

Since we are dicussing so many questions, let's leave this alone
so as to avoid the need to discuss it.

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