On Tue, 7 Feb 2023 13:09:43 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: >> Good. Say `/integrate`. > >> Good. Say `/integrate`. > > Hey @izeye, see above ^^^. @shipilev Ah, sorry. I didn't know it's for me 😅 ------------- PR: https://git.openjdk.org/jcstress/pull/131