On Tue, 8 Feb 2022 20:09:30 GMT, Daniel D. Daugherty <dcu...@openjdk.org> wrote:
> A trivial fix to ProblemList tools/jar/CreateMissingParentDirectories.java. This pull request has now been integrated. Changeset: 5fb56dbb Author: Daniel D. Daugherty <dcu...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/5fb56dbb0b4e3345ca6f48ba9c01bd467f04aa6f Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod 8281476: ProblemList tools/jar/CreateMissingParentDirectories.java Reviewed-by: azvegint, bpb, lancea ------------- PR: https://git.openjdk.java.net/jdk/pull/7390
