On Sat, 11 Jan 2025 17:33:19 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > A trivial change to remove unused field. Good catch! Good and trivial. Thanks ------------- Marked as reviewed by dholmes (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/23051#pullrequestreview-2545855932