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 I am preparing an updated patch. ------------- PR Comment: https://git.openjdk.org/crac/pull/194#issuecomment-2621491051