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. Yes, this one needs a CSR. ------------- Marked as reviewed by alanb (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/19583#pullrequestreview-2103635744
