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 https://github.com/TimPushkin/crac/pull/20 ------------- PR Comment: https://git.openjdk.org/crac/pull/194#issuecomment-2621505237