On Wed, 5 Feb 2025 10:57:14 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> > @JoeWang-Java Have you seen https://git.openjdk.org/jdk/pull/22425? > > Just mentioning since it looks like a duplicate proposal. Indeed, I missed that. The right procedure to take over an issue is to ask the person assigned to the bug, that would avoid any confusion and duplicate effort. Unfortunately, he never asked me. ------------- PR Comment: https://git.openjdk.org/jdk/pull/23446#issuecomment-2637653971
