On Sat, 11 Jan 2025 17:33:19 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > A trivial change to remove unused field. Thanks, @dholmes-ora ------------- PR Comment: https://git.openjdk.org/jdk/pull/23051#issuecomment-2587155195