On Fri, 2 Jul 2021 19:36:01 GMT, Joe Wang <jo...@openjdk.org> wrote: >> Thanks for the suggestion. I am happy with it as is, but I'll hold off >> integrating it for now and rethink it later. > > Ok, good to know. Have a great weekend!
I am inclined to leave the wording alone barring serious objections to the contrary. ------------- PR: https://git.openjdk.java.net/jdk17/pull/189