Looks good to me.
Thanks,
Jay
> On 19-Mar-2020, at 7:09 AM, Philip Race wrote:
>
> This is a bit of an oops but the fix
> https://bugs.openjdk.java.net/browse/JDK-8241229
> included the "jdk/" parent directory in the path name of the file to be
> excluded.
>
> bug:
This is a bit of an oops but the fix
https://bugs.openjdk.java.net/browse/JDK-8241229
included the "jdk/" parent directory in the path name of the file to be
excluded.
bug: https://bugs.openjdk.java.net/browse/JDK-8241233
fix:
diff --git a/test/jdk/ProblemList.txt b/test/jdk/ProblemList.txt
