[crac] Integrated: Changing CRaCResetStartTime flag defaults

[Roman Marchenko]

On Fri, 27 Oct 2023 10:19:33 GMT, Roman Marchenko <rmarchenko at openjdk.org> wrote:

> By the request in this comment https://github.com/openjdk/crac/pull/130/files#r1373722320

This pull request has now been integrated.

Changeset: 2f0069ef
Author:    Roman Marchenko <rmarchenko at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/2f0069ef53179fcd38c0584583189ead76ef0079
Stats:     14 lines in 2 files changed: 4 ins; 2 del; 8 mod

Changing CRaCResetStartTime flag defaults

Reviewed-by: akozlov

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

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