Re: Poll: consensus to change the encoded-character extension

Alexey Melnikov wrote:

> Is there any consensus for the following change
>
> OLD:
>   unicode-hex          = 1*6HEXDIG
>                          ^^^
>
> NEW:
>   unicode-hex          = 1*HEXDIG
>                          ^^
> ?
>
> (And any sequence of more than 6 HEXDIG will cause error)
It looks to me that we've reached rough consensus in favor of this change.