Thank you, Mr. Kawai. At John's request, I have merged your
pull request. The change will appear in the final draft,
and is now on the site.
To unsubscribe from this list please goto http://www.simplelists.com/confirm.php?u=Xyn3Lfl9sYqfr1En8qzdo7SeO9Y7c7Fz