On Tue, 17 Jan 2023 18:12:44 GMT, Phil Race <prr at openjdk.org> wrote: > client changes are OK by me. Thanks @prrace . ------------- PR: https://git.openjdk.org/jdk/pull/12005