On Wed, 5 Nov 2025 09:31:02 GMT, Paul Hübner <phubner at openjdk.org> wrote: > This is a trivial follow-up fix. > > Sanity tested with `hotspot_valhalla`. Marked as reviewed by dsimms (Committer). ------------- PR Review: https://git.openjdk.org/valhalla/pull/1722#pullrequestreview-3420967221