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 LGTM ------------- Marked as reviewed by dnsimon (no project role). PR Review: https://git.openjdk.org/skara/pull/1725#pullrequestreview-3029924777