Integrated: JDK-8307184: Incorrect/inconsistent specification and implementation for Elements.getDocComment

Wed Aug 9 21:36:59 UTC 2023

On Fri, 28 Jul 2023 02:24:08 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Start by just reformatting the existing specs to highlight subsequent spec changes.

This pull request has now been integrated.

Changeset: c307391a
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/c307391ab1f071b1473cd5f4c12437b8d5e0ca93
Stats:     217 lines in 2 files changed: 211 ins; 0 del; 6 mod

8307184: Incorrect/inconsistent specification and implementation for Elements.getDocComment

Reviewed-by: vromero, jjg

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

PR: https://git.openjdk.org/jdk/pull/15062