On Tue, 17 May 2022 15:23:04 GMT, Johannes Bechberger <d...@openjdk.java.net> wrote:
> thought that "this approach" referred to the approach of this PR (possibly > renaming the flag) ^ this But still, I would prefer to defer any further improvements into a separate PR. ------------- PR: https://git.openjdk.java.net/jdk/pull/8549
