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!
Good spot, a long standing copy and paste issue it seems. ------------- Marked as reviewed by alanb (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/26521#pullrequestreview-3065673109
