And thanks a lot for the fix as well! -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/compiler-dev/attachments/20240924/4cb56e89/attachment.htm>