On Wed, 9 Jun 2021 14:01:37 GMT, Yasumasa Suenaga <[email protected]> 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
On Wed, 9 Jun 2021 14:01:37 GMT, Yasumasa Suenaga <[email protected]> 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