On Sat, 2 Sep 2023 16:19:10 GMT, Jan Kratochvil <jkratochvil at openjdk.org> wrote: > Remove a needless whitespace change and a needless #include file Marked as reviewed by rvansa (Committer). ------------- PR Review: https://git.openjdk.org/crac/pull/107#pullrequestreview-1608906215