On Tue, 4 Apr 2023 00:06:53 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: > Please review a trivial doc-only edit to fix an issue in a recent addition of some RFC `@spec` tags Marked as reviewed by darcy (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13316#pullrequestreview-1369980782