[debbugs-tracker] bug#20919: closed (missing from manual: with-input-from-port)

[GNU bug Tracking System]

Your message dated Fri, 24 Jun 2016 09:05:55 +0200
with message-id <address@hidden>
and subject line Re: bug#20919: missing from manual: with-input-from-port
has caused the debbugs.gnu.org bug report #20919,
regarding missing from manual: with-input-from-port
to be marked as done.

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


-- 
20919: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=20919
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> missing from manual: with-input-from-port
>
>
>
>
> Date: 
>
> Sun, 28 Jun 2015 13:59:52 +0000
>
>
>
>
> In the guile reference manual, 
> in API Reference, 
> in Input and Output, 
> in Ports?, 
> might be a nice place to provide documentation for 
> the procedure with-input-from-port.
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#20919: missing from manual: with-input-from-port
>
>
>
>
> Date: 
>
> Fri, 24 Jun 2016 09:05:55 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
>
>
>
>
> On Sun 28 Jun 2015 15:59, "Wette, Matthew R (3441)" <address@hidden> writes:
>
> > In the guile reference manual, 
> > in API Reference, 
> > in Input and Output, 
> > in Ports?, 
> > might be a nice place to provide documentation for 
> > the procedure with-input-from-port.
>
> Done in master, thanks for the note.
>
> Andy
>
>
> --- End Message ---