On Thu, 17 Aug 2023 22:35:39 GMT, Martin Buchholz <mar...@openjdk.org> wrote:
> The usual tiny improvements, with no guarantee that the intermittent test > failure is actually fixed. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/15337
