On Fri, 17 Jun 2022 07:10:02 GMT, Johannes Kuhn <jk...@openjdk.org> wrote:
> But that is outside the scope of this bug Agreed. I'm not expecting that to be changed in this PR :) It was more a general question about the implementation. ------------- PR: https://git.openjdk.org/jdk/pull/9180
