On 24/03/2020 07:33, Alan Bateman wrote:

The spec update for Java SE 13+ that was part of that change have found their way into the jdk11u-dev repo,
Sorry, I mean Java SE 14. It seems the spec change was accidentally pushed to 13.0.1 too.

-Alan

Reply via email to