[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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.