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