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.