On Mon, 19 Oct 2020 15:50:38 GMT, Hannes Wallnöfer <[email protected]> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Address minor review feedback > > Looks good, Jon. The inline comments all refer to minor issues. Responded to all review feedback, and latest version builds and tests. Will integrate. ------------- PR: https://git.openjdk.java.net/jdk/pull/674
