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