On Thu, 1 Oct 2020 07:07:24 GMT, John Lin <[email protected]> wrote:
> This is from the mailing list: > http://mail.openjdk.java.net/pipermail/core-libs-dev/2020-June/067213.html This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/451
