Vote: yes -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/jdk-dev/attachments/20231213/3ad63e0d/attachment.htm>