On Thu, 10 Dec 2020 01:06:16 GMT, Michael Edgar <github.com+20868526+mikeed...@openjdk.org> wrote:
>> Looks good! Some minor comments below. > > @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) ------------- PR: https://git.openjdk.java.net/jdk/pull/1209
