On Thu, 7 Sep 2023 21:34:50 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:

> Overall the changes look good. Have you tested to see if this fixes 
> [JDK-8276210](https://bugs.openjdk.org/browse/JDK-8276210) and 
> [JDK-8248675](https://bugs.openjdk.org/browse/JDK-8248675)? You'll need to 
> remove them from the problem list to test.

Actually I'm now unable to reproduce these two issues even without your fix. So 
I think you can just push your fix and I'll file a new CR to remove the tests 
from the problem lists (and also close those two CRs as CNR).

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

PR Comment: https://git.openjdk.org/jdk/pull/15624#issuecomment-1714472404

Reply via email to