On Wed, 10 May 2023 14:26:48 GMT, Roger Riggs <[email protected]> wrote:
>> A trivial fix to adjust an `@requires` tag into the proper format. > > Marked as reviewed by rriggs (Reviewer). @RogerRiggs and @azvegint - Thanks for the lightning fast reviews! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13906#issuecomment-1542311143
