On Thu, 4 Jan 2024 19:09:34 GMT, Joe Wang <jo...@openjdk.org> wrote:

> backport of PR: https://github.com/openjdk/jdk/pull/17252

Marked as reviewed by naoto (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk22/pull/32#pullrequestreview-1804842674

Reply via email to