On Wed, 5 Apr 2023 16:45:06 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) > > Jonathan Gibbons has updated the pull request incrementally with one > additional commit since the last revision: > > Address review feedback There are references to other specifications missing, like NIST Special Publication 800-90A Revision 1, referenced in `java.security.DrbgParameters`. I think there are others, I haven't done a thorough review yet. Will there be subsequent reviews for these, or should I point them out and have them resolved as part of this PR? ------------- PR Comment: https://git.openjdk.org/jdk/pull/13336#issuecomment-1499521187