On Wed, 9 Jun 2021 14:01:37 GMT, Yasumasa Suenaga <ysuen...@openjdk.org> wrote:

> I hope this change happens in 17.

Yes, I think we can make it!...  Thanks.

-------------

PR: https://git.openjdk.java.net/jdk/pull/4418

Reply via email to