On Tue, 29 Sep 2020 14:10:42 GMT, Andrew Dinn <adinn at openjdk.org> wrote: > Looks fine to me, especially if Bob says it's ok. Thanks for the review, Andrew! ------------- PR: https://git.openjdk.java.net/jdk/pull/381