Well, that's a very good reason indeed ;) Thanks for the info!
On 07/10/2025 21:47, Brian Burkhalter wrote:
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?
