On Mon, 20 Feb 2023 22:14:01 GMT, Christoph Langer <clanger at openjdk.org> wrote: > JDK19 is dead. You should probably do this in jdk20u 😉 Yes my bad haha ------------- PR: https://git.openjdk.org/jdk19u/pull/107