On Wed, 3 Aug 2022 05:10:51 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Forward port JDK 19 -> JDK 20 This pull request has now been integrated. Changeset: 0971d346 Author: David Holmes <dhol...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/0971d3464609bf4124df460ea73ff761d7e0f7b2 Stats: 33 lines in 6 files changed: 6 ins; 9 del; 18 mod Merge ------------- PR: https://git.openjdk.org/jdk/pull/9721
