On Tue, 29 Jul 2025 12:42:49 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote: > Just a small, mostly cosmetic enhancement. Marked as reviewed by rvansa (Committer). ------------- PR Review: https://git.openjdk.org/crac/pull/252#pullrequestreview-3071652609