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

> Simple doc correction.

Marked as reviewed by iris (Reviewer).

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

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

Reply via email to