bug#44677: closed ([PATCH] Various doc fixes for comp.el and comp.c)

[GNU bug Tracking System]

Your message dated Mon, 16 Nov 2020 07:09:48 -0800
with message-id 
<CADwFkmmnX6TsOgq+dTi7t86LbpQCco9nO=iaeCDxYwbMV4oSTw@mail.gmail.com>
and subject line Re: bug#44677: [PATCH] Various doc fixes for comp.el and comp.c
has caused the debbugs.gnu.org bug report #44677,
regarding [PATCH] Various doc fixes for comp.el and comp.c
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] Various doc fixes for comp.el and comp.c Date: Sun, 15 Nov 2020 18:59:08 -0800

Severity: wishlist

Please find attached a patch fixing some places in the nativecomp branch
where the docstrings did not follow our conventions.

0001-Various-doc-fixes-for-comp.el-and-comp.c.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#44677: [PATCH] Various doc fixes for comp.el and comp.c
>
>
>
>
> Date: 
>
> Mon, 16 Nov 2020 07:09:48 -0800
>
>
>
>
> Hi Andrea,
>
> Andrea Corallo <akrl@sdf.org> writes:
>
> > thanks for looking into this, indeed this is greatly appreciated.
>
> Happy to help.
>
> > Feel free to push it.
>
> Done.
>
>
> --- End Message ---