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`. Thanks. ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1722#issuecomment-3490271242