+1 Paul. > On Jun 8, 2020, at 9:04 AM, Brian Burkhalter <brian.burkhalter at oracle.com> wrote: > > For [1] please review the proposed patch [2]. > > Thanks, > > Brian > > [1] https://bugs.openjdk.java.net/browse/JDK-8246729 > [2] http://cr.openjdk.java.net/~bpb/8246729/webrev.00/