On Mon, 27 May 2024 22:22:30 GMT, Christoph Langer <clanger at openjdk.org> wrote: > Version bump 17.0.13 Marked as reviewed by mdoerr (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk17u-dev/pull/2498#pullrequestreview-2082185798