On Thu, 17 Dec 2020 02:48:38 GMT, Jesper Wilhelmsson <jwilh...@openjdk.org> wrote:
> Merge JDK 16 -> JDK 17 This pull request has now been integrated. Changeset: 11bd7a81 Author: Jesper Wilhelmsson <jwilh...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/11bd7a81 Stats: 882 lines in 41 files changed: 659 ins; 30 del; 193 mod Merge ------------- PR: https://git.openjdk.java.net/jdk/pull/1812