Withdrawn: JDK-8305406: Add @spec tags in java.base/java.* (part 2)

Tue Sep 5 20:29:52 UTC 2023

On Tue, 4 Apr 2023 19:46:32 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a doc update to add `@spec` into the rest of the files in `java.base` (compared to those in [JDK-8305206](https://bugs.openjdk.org/browse/JDK-8305206) PR #13248)

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.org/jdk/pull/13336