On Fri, 9 May 2025 05:13:43 GMT, Galder Zamarreño <galder at openjdk.org> wrote: > Fixes https://bugs.openjdk.org/browse/CODETOOLS-7903998 If you want to integrate, you have to instruct bots to do so. ------------- PR Comment: https://git.openjdk.org/jmh/pull/157#issuecomment-2879278749