On Mon, 27 May 2024 22:37:09 GMT, Christoph Langer <clanger at openjdk.org> wrote: > Bump for 11.0.25 Marked as reviewed by mdoerr (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk11u-dev/pull/2727#pullrequestreview-2082186618