On Fri, 24 Jun 2022 13:14:07 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Trivial fix to get 32-bit to build again. Oh, I closed this JBS issue as a dup of JDK-8289095 before seeing there is a PR. The PR for JDK-8289095 is PR9265. ------------- PR: https://git.openjdk.org/jdk/pull/9275