On Wed, 4 Jun 2025 21:56:04 GMT, Johannes Bechberger <jbechberger at openjdk.org> wrote: > I know, but I want to get over it today(ish). Go for it. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25302#issuecomment-2941686873