[13u-dev notice] jdk13u-dev closed

[Yuri Nesterenko]

Hi,

note that repository https://github.com/openjdk/jdk13u-dev is closed in 13.0.14 state.
No new release number exists as of now.
Any change targeted to January release of jdk13u should
be labeled jdk13u-critical-request in JBS and will go
directly to https://github.com/openjdk/jdk13u.

Thank you!
--yan