On Tue, 28 Nov 2023 12:09:26 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Requiered version update. Marked as reviewed by shade (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk17u-dev/pull/1991#pullrequestreview-1752800746