Vote: yes Best Regards, Xiaohong -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/panama-dev/attachments/20220720/b8e5c2c2/attachment-0001.htm>