On Wed, 10 May 2023 14:23:38 GMT, Daniel D. Daugherty <[email protected]> wrote:
> A trivial fix to adjust an `@requires` tag into the proper format. Marked as reviewed by rriggs (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13906#pullrequestreview-1420776595
