[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