bug#60222: closed ([PATCH] Correct capitalization of Lisp in the manual)

[GNU bug Tracking System]

Your message dated Tue, 20 Dec 2022 17:47:32 +0200
with message-id <83v8m6axgr.fsf@gnu.org>
and subject line Re: bug#60222: [PATCH] Correct capitalization of Lisp in the 
manual
has caused the debbugs.gnu.org bug report #60222,
regarding [PATCH] Correct capitalization of Lisp in the manual
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
60222: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60222
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Correct capitalization of Lisp in the manual Date: Tue, 20 Dec 2022 16:34:56 +0100

Tags: patch


The attached patch fixes the capitalization of Lisp in the
Native-Compilation section of the manual.  Thanks.

0001-Correct-capitalization-of-Lisp-in-the-manual.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#60222: [PATCH] Correct capitalization of Lisp in the manual
>
>
>
>
> Date: 
>
> Tue, 20 Dec 2022 17:47:32 +0200
>
>
>
>
> > Date: Tue, 20 Dec 2022 16:34:56 +0100
> > From:  Daniel Martín via "Bug reports for GNU Emacs,
> >  the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
> > 
> > The attached patch fixes the capitalization of Lisp in the
> > Native-Compilation section of the manual.  Thanks.
>
> Thanks, installed.
>
>
> --- End Message ---