On Thu, 22 Jun 2023 09:37:40 GMT, Kevin Walls <kev...@openjdk.org> wrote:
>> This patch should fix >> [JDK-8310618](https://bugs.openjdk.org/browse/JDK-8310618). It attempts to >> correct my errors in fixing >> [JDK-8242152](https://bugs.openjdk.org/browse/JDK-8242152). > > Yes, looks good. 8-) Thanks for your reviews @kevinjwalls ! But this time let's wait until all the CI tests pass :P ------------- PR Comment: https://git.openjdk.org/jdk/pull/14612#issuecomment-1602328554