On Sat, 12 Aug 2023 11:48:03 GMT, Anton Kozlov <akozlov at openjdk.org> wrote: > Fix builds in vairous configurations Marked as reviewed by jkratochvil (no project role). ------------- PR Review: https://git.openjdk.org/crac/pull/104#pullrequestreview-1577697753