On Tue, 10 Jan 2023 12:04:10 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> I'm sure others will note or have already noted elsewhere that we don't do > direct PRs against JSR 166. Yes. I will change the PR to a draft as we explore ways to integrate the spirit of the proposed changes. ------------- PR: https://git.openjdk.org/jdk/pull/11924
