Thank you Thomas -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/jdk-updates-dev/attachments/20230810/213a438d/attachment.htm>