On Fri, 4 Aug 2023 12:54:56 GMT, Jaikiran Pai <[email protected]> wrote:

> Should we address that in this PR or a separate one?

I'm good with both, but having it as a separate PR might require an additional 
CSR if docs modifications alter the semantics:

> Q: If the text of the javadoc of a public exported API is changing, is a CSR 
> request needed?
> A: A CSR request is required if the specification of a public exported API. 
> Not all javadoc updates are specification changes. For example, typo fixes 
> and rephrasings that do not alter the semantics of the API in question do not 
> require CSR review.

[[CSR FAQ]](https://wiki.openjdk.org/display/csr/CSR+FAQs)

> Good catch. Fixed.

Thank you

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15134#discussion_r1284546070

Reply via email to