[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38818: Dired: mention deleting buffers, not just windows
From: |
Richard Stallman |
Subject: |
bug#38818: Dired: mention deleting buffers, not just windows |
Date: |
Thu, 02 Jan 2020 16:59:13 -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. ]]]
> Given that, we might want to describe better
> how two lambda forms that you might think
> represent the same function can be considered
> different in this context.
It seems clear to me, but I don't insist on the wording I suggested.
--
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)
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Michael Heerdegen, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Drew Adams, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Noam Postavsky, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Richard Stallman, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Drew Adams, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows,
Richard Stallman <=
- bug#38818: Dired: mention deleting buffers, not just windows, Eli Zaretskii, 2020/01/11
- bug#38818: Dired: mention deleting buffers, not just windows, Drew Adams, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Michael Heerdegen, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/04