On Fri, 5 Aug 2022 22:29:00 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Forward port JDK 19 -> JDK 20 This pull request has now been integrated. Changeset: 87cda21c Author: David Holmes <dhol...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/87cda21c5d85f6e6f628849b8670e2ecb4e105dd Stats: 99 lines in 2 files changed: 78 ins; 0 del; 21 mod Merge ------------- PR: https://git.openjdk.org/jdk/pull/9787
