On Mon, 28 Jun 2021 20:33:29 GMT, Naoto Sato <na...@openjdk.org> wrote:
>> Please review this small doc change to the system property. Accompanying CSR >> has also been created. > > Naoto Sato has updated the pull request incrementally with one additional > commit since the last revision: > > Missed one. Marked as reviewed by joehw (Reviewer). Thanks for the update. As for "of", apparently the native speakers were fine with it ;-) ------------- PR: https://git.openjdk.java.net/jdk17/pull/163
