On Thu, 6 Jun 2024 18:16:14 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> A documentation-only change to match the original intent and the implemented > behavior. Oh, this needs a CSR too, since it's a change to a normative assertion. Should be pretty simple though. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19583#issuecomment-2153628785
