On Wed, 5 Feb 2025 10:47:27 GMT, Severin Gehwolf <sgehwolf at openjdk.org> wrote: > @JoeWang-Java Have you seen https://git.openjdk.org/jdk/pull/22425? Just mentioning since it looks like a duplicate proposal. ------------- PR Comment: https://git.openjdk.org/jdk/pull/23446#issuecomment-2636402802