On Tue, 12 Jan 2021 10:00:54 GMT, Andrew Dinn <adinn at openjdk.org> wrote: > Yes, these changes look good. Thanks for your review @adinn ! ------------- PR: https://git.openjdk.java.net/jdk16/pull/108