On Tue, 4 Apr 2023 19:46:32 GMT, Jonathan Gibbons <j...@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
