On Wed, 1 Jul 2026 08:24:57 GMT, Tobias Hartmann <[email protected]> wrote:

> Also, what about closing this as duplicate of 
> [JDK-8353851](https://bugs.openjdk.org/browse/JDK-8353851) so that we don't 
> track the same thing twice?

Sure if we think this is a duplicate of JDK-8353851. Let me close this.

-------------

PR Review Comment: 
https://git.openjdk.org/valhalla/pull/2579#discussion_r3505482590

Reply via email to