On Tue, 29 Jun 2021 15:30:09 GMT, Michael Mirwaldt <github.com+6693355+mmirwaldt at openjdk.org> wrote: > What must I do next? Read what the bot says: https://github.com/openjdk/jcstress/pull/85#issuecomment-870698364 -- say `/integrate`. ------------- PR: https://git.openjdk.java.net/jcstress/pull/85