Re: ignore dashes etc. (was Registration of new charset GB18030 (fwd))

[Martin Duerst <duerst@w3.org>]

At 20:41 02/07/18 -0700, Mark Davis wrote:

>And what harm does it do, to make the name matching case-insensitive -- 
>especially since a great many implementations do that anyway?

Case-insensitive matching doesn't harm, as 'charset' matching was
always case sensitive in the specs and in all implementations.

This is different from ignore hyphens-underscores-spaces,...,
which is currently not mentioned in any spec.

Regards,    Martin.