Re: encoded-character and unicode range violations

Michael Haardt wrote:

> Hello,
>
> just sitting at the code, what shoulb be the result of:
>
>  "${unicode:0000000}"
>
> Seven digits, yet in range.  To me, it should be a NUL character, not
> an error.  Let's not specify the number of digits at all, neither in
> the grammar nor in the text, and just specify the range.
>  
Speaking as a contributor: this would be fine with me.