On Thu, 5 May 2022 23:58:01 GMT, Phil Race <[email protected]> wrote:

> Get rid of the useless extra directory level

Done.

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

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

Reply via email to