On Thu, 10 Nov 2022 00:19:55 GMT, William Kemper <wkemper at openjdk.org> wrote: > This PR merges tag jdk-20+20 Go for it! Thank you! ------------- Marked as reviewed by rkennke (Lead). PR: https://git.openjdk.org/shenandoah/pull/168