[PATCH] web: uri-encode hexadecimal percent-encoding is now uppercase

[Aleix Conchillo Flaqué]

This patch changes the way uri-encode does percent-encoding. The
hexadecimal characters are now uppercase as suggested by RFC3986. So,

(uri-encode "/")
=> %2F

Aleix

uri-encode-uppercase.patch
Description: Binary data