On Mon, 24 Nov 2025 15:49:05 GMT, Francesco Nigro <[email protected]> wrote:
>>> where's the new one? I cannot see any reference here on Github (this is my >>> very first contribution :) ) >> >> Here it is: >> https://bugs.openjdk.org/browse/JDK-8372410 > > Done @AlanBateman thanks Great catch, @franz1981! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28475#issuecomment-3571546619
