Integrated: JDK-8305004: add @spec tags to langtools modules

Tue Mar 28 14:56:20 UTC 2023

On Tue, 28 Mar 2023 02:26:49 GMT, Jonathan Gibbons <jjg at openjdk.org> 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 <jjg at openjdk.org>
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