[crac] Integrated: Update the "modified criu" link to the latest release

Tue Oct 17 07:07:56 UTC 2023

On Mon, 16 Oct 2023 05:07:57 GMT, Pushkar N Kulkarni <duke at openjdk.org> wrote:

> The modified criu binary downloaded from the release that is linked from the README causes CRaC to segfault while checkpointing. Updating to the latest release helps resolve the problem.

This pull request has now been integrated.

Changeset: ba0087fc
Author:    Pushkar N Kulkarni <pushkar.kulkarni at canonical.com>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/ba0087fca72ae0f21351fd7bd8d1e7926175b860
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

Update the "modified criu" link to the latest release

Reviewed-by: rvansa

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

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