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 Thanks for the reviews! ------------- PR Comment: https://git.openjdk.org/skara/pull/1725#issuecomment-3088666320