[announce] 13.0.1-1 ojdkbuild release

[Alex Kashchenko]

13.0.1-1 release page:
https://github.com/ojdkbuild/ojdkbuild/releases/tag/java-13-openjdk-13.0.1.9-1

13.0.1-1 debug page:
https://github.com/ojdkbuild/ojdkbuild/releases/tag/java-13-openjdk-debug-13.0.1.9-1

jdk13 is a short term release, it is planned to be updated in this
project up to January 2020.

This release contains changes from October 2019 CPU:

https://mail.openjdk.java.net/pipermail/vuln-announce/2019-October/000003.html

--
-Alex