[debbugs-tracker] bug#33307: closed ([PATCH] doc: Add index entries.)

[GNU bug Tracking System]

Your message dated Thu, 08 Nov 2018 10:21:58 +0100
with message-id <address@hidden>
and subject line Re: [bug#33307] [PATCH] doc: Add index entries.
has caused the debbugs.gnu.org bug report #33307,
regarding [PATCH] doc: Add index entries.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


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

--- Begin Message --- Subject: [PATCH] doc: Add index entries. Date: Wed, 7 Nov 2018 15:11:47 -0300

0001-doc-Add-index-entries.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#33307] [PATCH] doc: Add index entries.
>
>
>
>
> Date: 
>
> Thu, 08 Nov 2018 10:21:58 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hi Laura,
>
> Laura Lazzati <address@hidden> skribis:
>
> > From c8ccfaf2645d90ef1890fb009b5028b123074989 Mon Sep 17 00:00:00 2001
> > From: Laura Lazzati <address@hidden>
> > Date: Wed, 7 Nov 2018 14:51:21 -0300
> > Subject: [PATCH] doc: Add index entries. * doc/guix.texi: Added various cindex
> >  tags to assist readers.
>
> This is a good idea.  I moved the ‘*’ bit in the commit log to a
> separate line and committed it.
>
> Thank you!
>
> Ludo’.
>
>
> --- End Message ---