RFR: JDK-8307184: Incorrect/inconsistent specification and implementation for Elements.getDocComment [v4]

Fri Jul 28 05:52:00 UTC 2023

On Fri, 28 Jul 2023 05:38:15 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Start by just reformatting the existing specs to highlight subsequent spec changes.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Updates.

Once we've settled on the spec changes, I'll populate the CSR accordingly.

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

PR Comment: https://git.openjdk.org/jdk/pull/15062#issuecomment-1655055794