On Thu, 23 Jul 2026 08:15:36 GMT, Alexey Ivanov <[email protected]> wrote:
> I think it's reasonable to remove it here if it's already unused. Okay fine, I removed it. ------------- PR Comment: https://git.openjdk.org/jdk/pull/31814#issuecomment-5060061186
