On Wed, 14 May 2025 06:32:30 GMT, Magnus Ihse Bursie <i...@openjdk.org> 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
