Integrated: 2547: Notify graal mailing list for java man page changes

[Yudi Zheng]

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

This pull request has now been integrated.

Changeset: aeee3644
Author:    Yudi Zheng <yzheng at openjdk.org>
Committer: Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/aeee36444467af55436a7174e6a0a055188b8c05
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

2547: Notify graal mailing list for java man page changes

Reviewed-by: iris, dnsimon, zsong

-------------

PR: https://git.openjdk.org/skara/pull/1725