On Tue, 5 Dec 2023 18:49:17 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Anyway, would you like to keep the flag in, or should we integrate this PR? I'm fine with the PR. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16908#issuecomment-1843140749