[debbugs-tracker] bug#29310: closed ([PATCH 0/1] `close-port' documentation: Convert `close' ref to xref)

[GNU bug Tracking System]

Your message dated Wed, 22 Nov 2017 16:07:22 +0100
with message-id <address@hidden>
and subject line Re: bug#29310: [PATCH 1/1] Convert `close' ref to xref.
has caused the debbugs.gnu.org bug report #29310,
regarding [PATCH 0/1] `close-port' documentation: Convert `close' ref to xref
to be marked as done.

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


-- 
29310: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29310
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/1] `close-port' documentation: Convert `close' ref to xref
>
>
>
>
> Date: 
>
> Thu, 16 Nov 2017 03:40:37 +0530
>
>
>
>
> Currently, in info, it is rendered as "See also see close". Notice the
> double occurrence of "see".
>
> Arun Isaac (1):
>   Convert `close' ref to xref.
>
>  doc/ref/api-io.texi | 5 ++---
>  1 file changed, 2 insertions(+), 3 deletions(-)
>
> -- 
> 2.14.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#29310: [PATCH 1/1] Convert `close' ref to xref.
>
>
>
>
> Date: 
>
> Wed, 22 Nov 2017 16:07:22 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
>
>
>
>
> Arun Isaac <address@hidden> skribis:
>
> > * doc/ref/api-io.texi (Ports): Convert `close' ref to xref.
>
> Applied, thanks!
>
> Ludo'.
>
>
> --- End Message ---