Re: RFR: 8237195: increase release version in 13-dev

[Kevin Rushforth]

+1

-- Kevin


On 1/15/2020 2:44 AM, Johan Vos wrote:

Hi Kevin,

Please review http://cr.openjdk.java.net/~jvos/8237195/webrev.00/ which
fixes https://bugs.openjdk.java.net/browse/JDK-8237195

Thanks,

- Johan