That's welcome news. Thank you for going forward with that, Hannes!
Garret
On 11/8/2025 12:45 AM, Hannes Wallnoefer wrote:
Sorry, I forgot about that. I filed an issue here:
https://bugs.openjdk.org/browse/JDK-8371504
I can’t promise, but I think there are good chances that we will do
it. Thanks for bringing this up!
Hannes
On 07.11.2025, at 15:44, Garret Wilson <[email protected]> wrote:
…
A first step to evaluate these questions might be to file an
enhancement issue at https://bugs.openjdk.org/ .
That was actually my very first stop, before I even filed the Stack
Overflow issue if I remember correctly. But it looks like I have to
have an OpenJDK login to even file a ticket. (It didn't used to be
like that; I've filled Java bugs for eons.) How do I get an OpenJDK
login?
