[13u] RFR: 8255933: Bump patch update version for OpenJDK: jdk-13.0.5.1

[Andrew Brygin]

Hello Yuri,

 the change looks fine to me.

Thanks,
Andrew

On 05/11/2020 10:32, Yuri Nesterenko wrote:
> Hi,
> 
> we will follow jdk11u fixing one issue, that with the crash, in a patch release.
> I hope to push the fix tomorrow together with necessary tags just after this
> technical update:
> 
> http://cr.openjdk.java.net/~yan/8255933/webrev.00/
> 
> Please take a look.
> 
> Thanks,
> --yan
>