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. Marked as reviewed by iris (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13201#pullrequestreview-1360128468
