On Thu, 17 Jul 2025 14:27:56 GMT, Yudi Zheng <yzheng at openjdk.org> wrote: > This allows Graal developers to make adaptions to java man page changes in time Marked as reviewed by zsong (Reviewer). ------------- PR Review: https://git.openjdk.org/skara/pull/1725#pullrequestreview-3030057960