On Thu, 1 Oct 2020 19:22:24 GMT, Chris Plummer <[email protected]> wrote:

> ... I suggest maybe adding a comment there saying that the test was removed 
> from the problem list when JDK-8253900 was
> fixed, but should be re-added if JDK-8230664 starts to reproduce again.

I like this idea because a simple `grep` will be enough to understand what 
happened. Just pushed my branch, any issue
just let me know.

Thank you Chris!

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

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

Reply via email to