On Wed, 31 May 2023 20:35:20 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Please review a docs-only change to add `@spec` tags into `java.desktop` >> public API files > > Jonathan Gibbons has updated the pull request with a new target base due to a > merge or a rebase. The incremental webrev excludes the unrelated changes > brought in by the merge/rebase. The pull request contains three additional > commits since the last revision: > > - Update narrative references to use `rfc-editor.org` instead of (variants > of) `ietf.org` > - Merge remote-tracking branch 'upstream/master' into > 8305593.at-spec-java.desktop > - JDK-8305593: Add @spec tags in java.desktop All LGTM. ------------- Marked as reviewed by prr (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13360#pullrequestreview-1463079092