On Fri, 4 Dec 2020 02:49:07 GMT, Sergey Bylokhov <s...@openjdk.org> wrote:

> Maybe it is better to change the used file hierarchy?

That probably a good idea. Uploading a new fix version.

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

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

Reply via email to