On Tue, 25 Jul 2023 07:09:55 GMT, airsquared <d...@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

Reply via email to