[crac] Integrated: Changing CRaCResetStartTime flag defaults
Roman Marchenko
rmarchenko at openjdk.org
Thu Nov 9 08:16:33 UTC 2023
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
More information about the crac-dev
mailing list