On Tue, 25 Jul 2023 07:09:55 GMT, airsquared <duke at openjdk.org> wrote: > I see. I'll create a PR there. Thanks. Thanks, I assume this PR can be closed. ------------- PR Comment: https://git.openjdk.org/jdk21/pull/140#issuecomment-1651454738