On Wed, 19 Jun 2024 02:21:05 GMT, Joe Darcy <da...@openjdk.org> wrote:

> Simple doc improvement.

Marked as reviewed by rriggs (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/19781#pullrequestreview-2128478464

Reply via email to