On Wed, 21 Jul 2021 22:49:13 GMT, Leonid Mesnik <lmes...@openjdk.org> wrote:

> Simple cleanup.

This pull request has been closed without being integrated.

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

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

Reply via email to