On Thu, 5 May 2022 23:58:01 GMT, Phil Race <p...@openjdk.org> wrote:

> Get rid of the useless extra directory level

Done.

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

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

Reply via email to