On Wed, 4 Jun 2025 18:38:42 GMT, Markus Grönlund <mgron...@openjdk.org> wrote:
>> I'm OK with fixing this separately. > > Please ensure that you file a follow-up issue on this matter. Here it is https://bugs.openjdk.org/browse/JDK-8358619 ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25302#discussion_r2127234787
