On Fri, 8 Dec 2023 22:37:26 GMT, Vladimir Kozlov <k...@openjdk.org> wrote:

> I pushed closed changes.

Thanks Vladimir!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/16534#issuecomment-1847939767

Reply via email to