GNU bug report logs - #79123
[PATCH] * doc/misc/gnus.texi (Category Syntax): Update

Previous Next

Full log

View this message in rfc822 format

From: James Thomas <jimjoe <at> gmx.net>
To: 79123 <at> debbugs.gnu.org
Cc: Eli Zaretskii <eliz <at> gnu.org>, Robert Pluim <rpluim <at> gmail.com>
Subject: bug#79123: [PATCH] * doc/misc/gnus.texi (Category Syntax): Update, Re: bug#79123: [PATCH] * doc/misc/gnus.texi (Category Syntax): Update
Date: Thu, 31 Jul 2025 06:21:40 +0530

[Message part 1 (text/plain, inline)]

Robert Pluim  writes:

> I think this should be @code{false}

Eli Zaretskii  writes:

> We use @code{false} for such symbols, not "manual quoting".
>
> Also, this should be done on the emacs-30 release branch, because the
> problem is already there, right?

Done, and done:

[0001-doc-misc-gnus.texi-Category-Syntax-Update-gnus-agent.patch (text/x-patch, attachment)]

[Message part 3 (text/plain, inline)]

(The oversight is very... much... _like_ me)

Also, thanks for letting me refresh my memory of 'git cherry-pick'.

--

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.