On Tue, 10 Feb 2026 19:08:49 GMT, Vicente Romero <[email protected]> wrote:
> looks good, we should consider pushing part of this PR into mainline I agree -- this is probably a valid general change ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1921#issuecomment-3881254924
