On Thu, 28 Aug 2025 00:37:08 GMT, Rui Li <[email protected]> wrote: > A clean backport of https://bugs.openjdk.org/browse/JDK-8362572. > > Testing in progress. The change is quite straightforward and has been in tip > for over a month. Should be safe.
This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/26975
