On Tue, 29 Jul 2025 02:20:56 GMT, Lei Zhu <d...@openjdk.org> wrote:

> Hi all,
> 
> Fixed type errors in documentation, minor changes.
> 
> Thanks!

@Korov 
Your change (at version b6a19df4f83266856f9688f4ac204055908b89a8) is now ready 
to be sponsored by a Committer.

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

PR Comment: https://git.openjdk.org/jdk/pull/26521#issuecomment-3131256382

Reply via email to