On Tue, 24 Jan 2023 02:38:29 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Fix the build on x86. Looks good. Thanks. ------------- Marked as reviewed by dholmes (Reviewer). PR: https://git.openjdk.org/jdk/pull/12157