On Fri, 2 May 2025 00:17:29 GMT, Weijun Wang <wei...@openjdk.org> wrote:

> Fix the build error.

Marked as reviewed by rhalade (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/24993#pullrequestreview-2810976171

Reply via email to