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!

Marked as reviewed by sspitsyn (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/26521#pullrequestreview-3069907149

Reply via email to