On Tue, 24 May 2022 19:50:41 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Please review the code and tests to add support for a new `@spec url title` >> tag to javadoc. Note, this does not include any changes to API doc comments >> to use the new tag in JDK API documentation; that will come later. > > Jonathan Gibbons has updated the pull request with a new target base due to a > merge or a rebase. The pull request now contains seven commits: > > - Merge remote-tracking branch 'upstream/master' into 6251738.spec-tag-2 > - address review feedback > - fix merge issues > - merge with upstream/master > - fix whitespace and position of HtmlStyle.refList > - fix whitespace > - JDK-6251738: Want a top-level summary page that itemizes all spec > documents referenced from javadocs (OEM spec) I appreciate your perseverance in this review, Jon! A note to self: when we have the next round of review, most URIs will have likely turned into URLs. ------------- PR: https://git.openjdk.java.net/jdk/pull/8439
