On Thu, 1 Oct 2020 07:07:24 GMT, John Lin <github.com+1290376+johnl...@openjdk.org> 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
