On Fri, 6 Jan 2023 22:01:45 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> I would also like to request that the variable renames be omitted from this > PR. They create too much noise and would best left to a PR that focuses on > just the renames and possibly other style changes. Okay, reverted. ------------- PR: https://git.openjdk.org/jdk/pull/11823
