On Sun, 5 May 2024 at 12:41, Erik Wienhold <ewie(at)ewie(dot)name> wrote:
> So, I think we should either remove that one nchar instance (because it
> doesn't add any real value) or document it properly. The attached patch
> does the latter.
It seems easier to do the former, that way we don't need to reconsider
Peter's concerns about not having enough confidence that it matches
the standard.
I've included Alvaro and Peter to see what they think.
David