On Wed, 8 Feb 2023 23:14:18 GMT, Phil Race <p...@openjdk.org> wrote: > But that seems wrong. Why is it not wrong ?
It might be an oversight of the initial fix, if you think it is wrong we can submit a bug and i can fix it. I definitely do not think it is critical and i do not think it is related to the nature of this change. ------------- PR: https://git.openjdk.org/jdk20/pull/122
