On Thu, 24 Dec 2020 07:23:41 GMT, Jesper Wilhelmsson <jwilh...@openjdk.org> wrote:
> Forwardport JDK 16 -> JDK 17 This pull request has now been integrated. Changeset: 57217b58 Author: Jesper Wilhelmsson <jwilh...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/57217b58 Stats: 74 lines in 6 files changed: 68 ins; 0 del; 6 mod Merge ------------- PR: https://git.openjdk.java.net/jdk/pull/1887