On Thu, 2 May 2024 17:26:58 GMT, Stefan Karlsson <stef...@openjdk.org> wrote:
>> Ah, hm. Indeed! Separate PR? There is some light cleanup in G1 that can be >> associated with it. This PR would keep with just a mechanical rename. > > Sounds like a good idea. Filed: https://bugs.openjdk.org/browse/JDK-8331719 -- I'll give it out to some of our folks as a starter task. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19064#discussion_r1590876454
