On Wed, 5 Feb 2025 10:47:27 GMT, Severin Gehwolf <[email protected]> wrote:

> @JoeWang-Java Have you seen https://git.openjdk.org/jdk/pull/22425?

Just mentioning since it looks like a duplicate proposal.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/23446#issuecomment-2636402802

Reply via email to