On Sun, Jul 2, 2017 at 8:20 AM, Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

Thanks for the catch!

Thank you, Mr. Kawai. I have incorporated this and published it.

I'll wait for more updates before adding a new draft tag in the Git repository.