On Wed, 19 Oct 2022 07:36:15 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Trivial fix to version after integrating from jdk17u to jdk17u-dev Marked as reviewed by clanger (Reviewer). ------------- PR: https://git.openjdk.org/jdk17u-dev/pull/805