On Wed, 19 Mar 2025 11:39:20 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote: > Minor fixups for CRE API: > > `crexec` is also adopted to conform to the restore data API docs change. Marked as reviewed by rvansa (Committer). ------------- PR Review: https://git.openjdk.org/crac/pull/214#pullrequestreview-2710139691