Vote: yes Thanks, Iris -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/core-libs-dev/attachments/20230731/e5dfed9c/attachment-0001.htm>