On Mon, 12 Jun 2023 11:01:08 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

> This is the same PR as https://github.com/openjdk/jdk/pull/14098, but 
> backported to the JDK 21 repo fork.

Btw, besides the other 2 issues this solves (from the other PR), I think this 
also solves: https://bugs.openjdk.org/browse/JDK-8255350

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

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

Reply via email to