On Tue, 15 Nov 2022 14:25:15 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > Build change looks good. Thanks, Erik. Actually, that change should have been reverted with the last change. I'll revert that. ------------- PR: https://git.openjdk.org/jdk/pull/11133