On Tue, 11 Oct 2022 15:48:56 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> 
wrote:

> Simple doc correction.

LGTM

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

Marked as reviewed by rriggs (Reviewer).

PR: https://git.openjdk.org/jdk/pull/10658

Reply via email to