On Wed, 3 Jan 2024 22:12:03 GMT, Joshua Cao <duke at openjdk.org> wrote: > Passes hotspot:tier1 locally Looks good and trivial. ------------- Marked as reviewed by shade (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/17255#pullrequestreview-1803913477