On Tue, 23 Aug 2022 10:25:19 GMT, Josef Eisl <je...@openjdk.org> wrote:
>> Hmm, could be. Let me check into it and I will have to file a separate bug >> to address this since the changes have already been integrated. Thanks for >> the comments. > > Thanks for looking into this! Please let me if you open a new bug so we can > track it. Filed https://bugs.openjdk.org/browse/JDK-8292739 A PR should be out in a day or two. ------------- PR: https://git.openjdk.org/jdk/pull/6513
