On Mon, 17 Jul 2023 19:40:42 GMT, Joe Darcy <da...@openjdk.org> wrote:

> Update to conform to accepted syntax.

Marked as reviewed by rriggs (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk/pull/14908#pullrequestreview-1533548769

Reply via email to