There is one in progress: https://github.com/openjdk/jdk/pull/27657

On Oct 7, 2025, at 12:44 PM, Rob Spoor <[email protected]> wrote:

Is it OK if I create a PR for this? Or is there a reason not to implement this?

Reply via email to