On Tue, 29 Jul 2025 02:20:56 GMT, Lei Zhu <duke at openjdk.org> wrote: > Hi all, > > Fixed type errors in documentation, minor changes. > > Thanks! Marked as reviewed by amenkov (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/26521#pullrequestreview-3068654927