Subject: Re: bug#37537: [PATCH] doc: Fix order of arguments to seek.
From: Ludovic Courtès <[email-masked]>
To: Arun Isaac <[email-masked]>
Cc: [email-masked]
Date: Thu, 18 Jun 2020 09:20:50 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Arun Isaac <[email-masked]> skribis:

> * doc/ref/r6rs.texi (rnrs io ports): Fix order of arguments to seek in
> port-position and set-port-position! documentation.

This was done as 59febb4b2d30211ad1dda161eedc3d72df8bff3d.  Closing.

Ludo’.