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
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