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

[duke]

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

@mur47x111 
Your change (at version 011e409a53904fb308a4bbd5c113049c8ab450f3) is now ready to be sponsored by a Committer.

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

PR Comment: https://git.openjdk.org/skara/pull/1725#issuecomment-3088667746