On Wed, 14 May 2025 06:32:30 GMT, Magnus Ihse Bursie <[email protected]> wrote:
> That seems reasonable, yes. However, I'd like to keep this change to the > absolute minimum. Feel free to open a separate issue for fixing this. FIled: https://bugs.openjdk.org/browse/JDK-8356937 ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25148#discussion_r2088181402
