On Tue, 28 Mar 2023 02:26:49 GMT, Jonathan Gibbons <[email protected]> wrote:
> Please review a simple doc-only PR to add `@spec` tags to 3 "langtools" > modules, for eventual use in an "External Specifications" page. This pull request has now been integrated. Changeset: 83ce65e1 Author: Jonathan Gibbons <[email protected]> URL: https://git.openjdk.org/jdk/commit/83ce65e12ccb9e98990a4de3aa31ca308695c7a7 Stats: 11 lines in 6 files changed: 5 ins; 4 del; 2 mod 8305004: add @spec tags to langtools modules Reviewed-by: iris ------------- PR: https://git.openjdk.org/jdk/pull/13201
