On Thu, 23 Mar 2023 13:37:19 GMT, Jonathan Gibbons <[email protected]> wrote:
>> Please review a change to introduce a hidden option to temporarily disable >> the "External Specifications" page while we add `@spec` tags, and until we >> have a critical mass of such tags. > > Jonathan Gibbons has updated the pull request incrementally with one > additional commit since the last revision: > > Update > src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java > > Co-authored-by: Andrey Turbanov <[email protected]> Looks good to me! ------------- Marked as reviewed by hannesw (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13127#pullrequestreview-1357102503
