Re: address@hidden: webjump-url-encode and non-ascii characters]

[Kenichi Handa]

In article <address@hidden>, Richard Stallman <address@hidden> writes:

>     I doubts too.  I'm not the expert of URL (or URI) encoding,
>     but, as far as I remember, non-ASCII characters in URL must
>     be at first encoded by UTF-8 then by %-encoding.  So, for
>     instance, ?? (U+00E0) must be encoded to "%C3%80".

> Can you implement it with that change?

As he sent me a fixed version, I installed it in the trunk
as a tiny change.

---
Kenichi Handa
address@hidden