On Tue, 21 Mar 2023 21:08:01 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. Build change looks ok. ------------- Marked as reviewed by erikj (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13127#pullrequestreview-1351414076
