On Thu, 22 Jan 2026 08:34:41 GMT, Johannes Bechberger <jbechberger at openjdk.org> wrote: > Could we merge this soon? Yeah, but it needs a review first ------------- PR Comment: https://git.openjdk.org/jmc/pull/694#issuecomment-3784622361