On Sat, 6 May 2023 19:31:40 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > A trivial cleanup Looks good and trivial. Thanks. ------------- Marked as reviewed by dholmes (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13856#pullrequestreview-1416196298