On Fri, 2 Jun 2023 18:12:10 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
> This is a continuation of #11747, why not in the old review? I had withdrawn the previous PR and deleted the local branch corresponding to the old changes. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14289#issuecomment-1574131393
