On Wed, 9 Jul 2025 19:35:54 GMT, simon <d...@openjdk.org> wrote: > Can you integrate it when you think it is appropriate? I guess I do not have > permission to do it.
They are done with GitHub comments parsed by bots, so if there is a line: > /integrate in a comment from you, the bot will integrate this patch (by marking this ready for a committer sponsor) ------------- PR Comment: https://git.openjdk.org/jdk/pull/25925#issuecomment-3053786183
