On Sun, 28 Jul 2024 22:18:07 GMT, Phil Race <p...@openjdk.org> wrote:
> This is marked as an enhancement but it sure looks like a bug fix to me. Yeah, it is a bug, changed. Given that we have both @prrace and @TheShermanTanker (and me) in build group, we have enough reviews for this one. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20170#issuecomment-2255969168 PR Comment: https://git.openjdk.org/jdk/pull/20170#issuecomment-2255973898
