On Tue, 14 Mar 2023 10:10:43 GMT, Daniel Jeliński <djelin...@openjdk.org> wrote:
>> I've updated the PR to address all of the various comments. >> >> @AlanBateman Regarding tools that return the new interface names, I'm not >> aware of any either. But it's not too hard to hack together a PowerShell >> script to call if_indextoname which does exactly what the name implies. > > CSR approved, release note ready. I think we're good to go. @rdicroce you can > integrate the changes now. Thanks @djelinski! ------------- PR: https://git.openjdk.org/jdk/pull/12593
