On Tue, 25 Jun 2024 14:36:06 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > Please close. It's in [jdk17u](https://github.com/openjdk/jdk17u). Okey. ------------- PR Comment: https://git.openjdk.org/jdk17u-dev/pull/2627#issuecomment-2189196772