On Thu, 2 Feb 2023 18:47:12 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Good. Say `/integrate`. Hey @izeye, see above ^^^. ------------- PR: https://git.openjdk.org/jcstress/pull/131