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

Aleksey Shipilev shade at redhat.com
Wed Apr 15 07:22:24 UTC 2020


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.

-- 
Thanks,
-Aleksey



More information about the jdk-updates-dev mailing list