On Fri, 19 May 2023 11:24:30 GMT, Michael McMahon <micha...@openjdk.org> wrote:
> Seems like a useful change and I can see how issues could arise if strings > were stored somewhere after being upper/lower cased and then reused in a > different locale. > > Is it correct to say that the assumption is these strings are all supposed to > be US ASCII (eg protocol defined identifiers, or hostnames etc) rather than > user generated text strings? That seems to be the case as far as I can see. Yes ------------- PR Comment: https://git.openjdk.org/jdk/pull/14006#issuecomment-1556955595