On Sep 7, 2016 4:45 PM, "Shiro Kawai" <xxxxxx@gmail.com> wrote:
>
> I post here to clarify the choice and record it in the post-finalization archive,
> since I didn't find this issue raised in the mailing list.

Thanks.

In my erratum announcement, I included the notes from the pull request:

http://srfi-email.schemers.org/srfi-133/msg/4105187

There was no other discussion on the mailing list, but I wanted to make sure that there was a public record outside of the Github repo.