On Fri, 25 Sep 2020 10:44:53 GMT, David Holmes <dhol...@openjdk.org> wrote:
> > > The minor updates in response to my comments are fine. > > The more major updates ... I can't really comment on. Thanks for looking at the changes and for giving feedback. ------------- PR: https://git.openjdk.java.net/jdk/pull/119
