On Mon, 12 Jun 2023 15:19:51 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

>> Btw, besides the other 2 issues this solves (from the other PR), I think 
>> this also solves: https://bugs.openjdk.org/browse/JDK-8255350
>
>> Btw, besides the other 2 issues this solves (from the other PR), I think 
>> this also solves: https://bugs.openjdk.org/browse/JDK-8255350
> 
> Thanks for the reminder - JDK-8255350 is not fixed by this, but by 
> https://git.openjdk.org/jdk/pull/14007

@mcimadamore Shouldn't this go into the mainline first?

-------------

PR Comment: https://git.openjdk.org/jdk21/pull/7#issuecomment-1587561904

Reply via email to