On Sun, 5 May 2024 at 12:41, Erik Wienhold <e...@ewie.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
