On Mon, 23 Feb 2026 16:43:21 GMT, David Beaumont <[email protected]> wrote:
>> Yep, I tracked it down, its still not a good name. > > I'm happy to refactor it in a followup PR if you want? Just say the word. Leave it for now, its been stable since 2016. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/29783#discussion_r2842187445
