On Tue, 19 Sep 2023 11:50:04 GMT, Claes Redestad <redestad at openjdk.org> wrote: > You need to issue /integrate again since there's been changes since the last time. I thought I had to wait for a re review after the modification to integrate. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15354#issuecomment-1725353147