On Thu, 11 Jul 2024 02:08:35 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > A trivial cleanup Marked as reviewed by shade (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/20130#pullrequestreview-2172815052