[RFR] [13u] 13.0.3+3 / 13.0.3-ga

[Yuri Nesterenko]

Thank you, Aleksey!

On 15.04.2020 10:22, Aleksey Shipilev wrote:
> On 4/15/20 9:15 AM, Yuri Nesterenko wrote:
>> Is it OK to tag it jdk-13.0.3-ga and merge to jdk13u-dev?
> 
> Yes, sure.
>