On Mon, 12 Aug 2024 09:22:02 GMT, Alan Bateman <alanb at openjdk.org> wrote: > jdk23u, not jdk23, right? Oh, Dear God. I searched for jdk23, and that was all it suggested. I guess I'll try again. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20545#issuecomment-2283501055