On Tue, 28 Jan 2025 15:11:47 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote: > Replaces abandoned #112, but the change set is slightly different Marked as reviewed by rvansa (Committer). ------------- PR Review: https://git.openjdk.org/crac/pull/194#pullrequestreview-2580865988