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. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/9275