On Wed, 8 Jan 2025 05:23:29 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> Since [JDK-8285417](https://bugs.openjdk.org/browse/JDK-8285417) is now > closed as a dup of > [JDK-8347137](https://bugs.openjdk.org/browse/JDK-8347137), its problem list > entry needs to be updated. Looks good. ------------- Marked as reviewed by kevinw (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/22960#pullrequestreview-2537268738
