On Wed, 18 Nov 2020 04:42:51 GMT, David Holmes <dholmes at openjdk.org> wrote: > Hi Patricio, > > One minor issue - see below. > > Thanks, > David Hi David, Thanks for the review! ------------- PR: https://git.openjdk.java.net/jdk/pull/1281