Thanks for your reviews, David, Mandy, and Serguei. I've moved the CSR to Finalized.
Paul On 10/22/19, 10:06 PM, "serguei.spit...@oracle.com" <serguei.spit...@oracle.com> wrote: +1 Thanks, Serguei On 10/22/19 21:52, Mandy Chung wrote: > +1 > > Mandy > > On 10/22/19 8:25 PM, David Holmes wrote: >> Hi Paul, >> >> CSR updated and reviewed - please move to Finalized. >> >> Code changes Reviewed. >> >> Thanks, >> David >> >> On 23/10/2019 1:53 am, Hohensee, Paul wrote: >>> Please review a fixup for >>> https://bugs.openjdk.java.net/browse/JDK-8231209. >>> >>> Bug: https://bugs.openjdk.java.net/browse/JDK-8231968 >>> >>> CSR: https://bugs.openjdk.java.net/browse/JDK-8232072 >>> >>> Webrev: http://cr.openjdk.java.net/~phh/8231968/webrev.00/ >>> >>> Thanks, >>> >>> Paul >>> >