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. Thank you Alex and Kevin! ------------- PR Comment: https://git.openjdk.org/jdk/pull/22960#issuecomment-2578830867
