On Fri, 10 Feb 2023 23:40:42 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Please use "--release 20" instead if possible. Thanks - that works better. ------------- PR: https://git.openjdk.org/jdk/pull/12448