On Mon, 16 Dec 2024 16:53:33 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> But this would be for a different bug so as to prevent scope-creep. Filed https://bugs.openjdk.org/browse/JDK-8346299 for this. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22494#discussion_r1887323080
