[crac] Integrated: 8346907: [CRaC] Print RESTORE_SETTABLE marker

[Jan Kratochvil]

On Thu, 7 Nov 2024 13:02:32 GMT, Jan Kratochvil <jkratochvil at openjdk.org> wrote:

> Author is @AntonKozlov I believe.

This pull request has now been integrated.

Changeset: 27ce88b1
Author:    Jan Kratochvil <jkratochvil at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/27ce88b18bf8c7a888d93a270b38e12d25101678
Stats:     41 lines in 2 files changed: 41 ins; 0 del; 0 mod

8346907: [CRaC] Print RESTORE_SETTABLE marker

Reviewed-by: tpushkin, rvansa

-------------

PR: https://git.openjdk.org/crac/pull/158