On Fri, 22 Sep 2023 08:09:50 GMT, Claes Redestad <[email protected]> wrote:

> I'd be happy to spell it out in the documentation, just pointing out that 
> it's been long-standing behavior.

Right, I wasn't suggesting there is behavior change, instead I was pointing out 
to Daniel that the spec is incomplete and we should clarify it, it would be a 
separate update/PR and would require a CSR to track the spec update.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/15865#discussion_r1334054643

Reply via email to