On Thu, 10 Dec 2020 02:07:14 GMT, Joe Wang <[email protected]> wrote:
>> @JoeWang-Java - thanks for the additional feedback - all good. Do you >> suggest I make them now in this PR? Just confirming before pushing the >> change and dismissing your approval. > > Yes, please make the changes. Approval will be quick :-) (since this is the > last day for low priority changes) Done - please let me know if anything else is needed. ------------- PR: https://git.openjdk.java.net/jdk/pull/1209
