On Wed, 5 Apr 2023 17:29:17 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a docs-only change to add `@spec` tags into `java.desktop` > public API files This pull request has now been integrated. Changeset: 34f0a6ec Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/34f0a6ec6a7d52630e8d6661f9d081abcf57b84a Stats: 55 lines in 17 files changed: 36 ins; 2 del; 17 mod 8305593: Add @spec tags in java.desktop Reviewed-by: prr ------------- PR: https://git.openjdk.org/jdk/pull/13360
