On Tue, 9 Aug 2022 09:19:54 GMT, Robbin Ehn <r...@openjdk.org> wrote:
> I got this build problem on aarch64: Thanks for giving this PR a spin. I pushed a fix for the aarch64 build problem (seems weird that GHA did not catch it). ------------- PR: https://git.openjdk.org/jdk/pull/9680
