Vote: yes -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/members/attachments/20231027/a6b5b290/attachment-0001.htm>