On Fri, 30 Jun 2023 09:27:15 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > Should be a clean backport of this build warning fix. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk21u/pull/5