On Wed, 25 Jun 2025 17:49:42 GMT, Naoto Sato <naoto at openjdk.org> wrote: > A minor doc fix. Avoiding @spec reference clash in the doc build Sure, looks good. ------------- Marked as reviewed by kevinw (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/25985#pullrequestreview-2961203385