[Updates Communication] 13.0.2 security patches pushed

[Severin Gehwolf]

On Wed, 2020-01-15 at 16:05 +0000, Rob McKenna wrote:
> 13.0.2 patches have been pushed to:
> 
> http://hg.openjdk.java.net/jdk-updates/jdk13u/

Thanks, Rob! Is there going to be a jdk-13.0.2-ga tag?

Cheers,
Severin