On Mon, 9 Oct 2023 12:51:16 GMT, Erik Joelsson <er...@openjdk.org> wrote:
>> I understand the point of this change, but it is not directly related to the >> issue addressed here (i.e. this condition wasn't introduced in this PR.). >> Should it be included in the PR anyway? > > I agree with @fthevenet, such a change should be separate from this. I'll retract my suggestion then, and include this change after this is integrated on my own ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16039#discussion_r1351134830