At 16:04 07/10/17, David Flanagan wrote:
>Nobu,
>
>Thank you for the --encoding= option.  Looks like you have two goto labels reversed.  The attached patch fixes it, I think.

I'm not sure why we would want to use "coding" at the top of the
file, but "ENcoding" for the option. We should think about aligning
them before it's too late.

Regards,   Martin.



#-#-#  Martin J. Du"rst, Assoc. Professor, Aoyama Gakuin University
#-#-#  http://www.sw.it.aoyama.ac.jp       mailto:duerst / it.aoyama.ac.jp