On Fri, 21 Oct 2022 10:18:26 GMT, Magnus Ihse Bursie <[email protected]> wrote:

> Can you please refrain from integrating this while I investigate while this 
> was originally moved?

sure.

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

PR: https://git.openjdk.org/jdk/pull/10757

Reply via email to