[13u notice] 13u-dev open for 13.0.13 (October 2022)

[Yuri Nesterenko]

Here, too:
(https protocol)
github.com/openjdk/jdk13u-dev

(I don't know yet who does this)

--yan

On 20.06.2022 10:41, Yuri Nesterenko wrote:
> Hi,
> 
> development repository 
> https://urldefense.com/v3/__https://github.com/openjdk/jdk13u-dev__;!!ACWV5N9M2RV99hQ!JHWWPULXcvhdcYWrURZ05o8QI0O4SRu3JQBhgA9IDJT4wJ4KfV6IMQOStcGkNfJcptM966QNiVRAxpLhE9Y$ 
> is now open for 13.0.13 October release.
> You are welcome!
> 
> Thanks,
> --yan