From zsong at openjdk.org  Thu Jul  3 20:56:48 2025
From: zsong at openjdk.org (Zhao Song)
Date: Thu, 3 Jul 2025 20:56:48 GMT
Subject: RFR: 2510: Bug closed due to inactivity even though there was
 "activity"
Message-ID: <8ASTfNy1jJJjaRe8EfR_OzYDfYgDGy-2MyNFz9ZlBtU=.9e166f5c-4d10-44e8-8f80-461e326544b9@github.com>

Currently, the PullRequestPrunerBot considers only comments, reviews, and review comments as activity. Therefore, it can sometimes mistakenly close a user's pull request.

In this patch, I am trying to let PullRequestPrunerBot counts commits, pr state changes as valid activities.

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

Commit messages:
 - update
 - update
 - update
 - update
 - 2510

Changes: https://git.openjdk.org/skara/pull/1723/files
  Webrev: https://webrevs.openjdk.org/?repo=skara&pr=1723&range=00
  Issue: https://bugs.openjdk.org/browse/SKARA-2510
  Stats: 135 lines in 12 files changed: 123 ins; 0 del; 12 mod
  Patch: https://git.openjdk.org/skara/pull/1723.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1723/head:pull/1723

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

From jlahoda at openjdk.org  Fri Jul  4 08:43:28 2025
From: jlahoda at openjdk.org (Jan Lahoda)
Date: Fri, 4 Jul 2025 08:43:28 GMT
Subject: RFR: Merging JShell's file locations mapping into the 'compiler'
 label, and deleting mapping for 'kulla'.
Message-ID: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>

There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html

The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.

Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.

Thanks!

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

Commit messages:
 - Merging JShell's file locations mapping into the 'compiler' label, and deleting mapping for 'kulla'.

Changes: https://git.openjdk.org/skara/pull/1724/files
  Webrev: https://webrevs.openjdk.org/?repo=skara&pr=1724&range=00
  Stats: 14 lines in 1 file changed: 6 ins; 8 del; 0 mod
  Patch: https://git.openjdk.org/skara/pull/1724.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1724/head:pull/1724

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

From zsong at openjdk.org  Mon Jul  7 16:44:58 2025
From: zsong at openjdk.org (Zhao Song)
Date: Mon, 7 Jul 2025 16:44:58 GMT
Subject: RFR: Merging JShell's file locations mapping into the 'compiler'
 label, and deleting mapping for 'kulla'.
In-Reply-To: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
Message-ID: <FU91BJ0_7Zg-SSQfD5Wv02R4LA-wHFkgVPFTYz9aV-E=.e953579c-42e1-4de6-aa98-bd586856e5dd@github.com>

On Fri, 4 Jul 2025 08:40:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
> 
> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
> 
> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
> 
> Thanks!

The change looks good to me. But please file an issue for it in SKARA project for it. https://bugs.openjdk.org/projects/SKARA

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

PR Comment: https://git.openjdk.org/skara/pull/1724#issuecomment-3045882521

From jlahoda at openjdk.org  Mon Jul  7 16:51:09 2025
From: jlahoda at openjdk.org (Jan Lahoda)
Date: Mon, 7 Jul 2025 16:51:09 GMT
Subject: RFR: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
Message-ID: <hl8BsBHUnA98irQ1RQobNKqrua6ZZWeSXUk9H6t2uUQ=.77594fdf-b7d4-4e17-a929-4c943624f536@github.com>

On Fri, 4 Jul 2025 08:40:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
> 
> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
> 
> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
> 
> Thanks!

Thanks. I opened:
https://bugs.openjdk.org/browse/SKARA-2535
please let me know if something should be improved.

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

PR Comment: https://git.openjdk.org/skara/pull/1724#issuecomment-3045906303

From zsong at openjdk.org  Mon Jul  7 16:55:29 2025
From: zsong at openjdk.org (Zhao Song)
Date: Mon, 7 Jul 2025 16:55:29 GMT
Subject: RFR: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
Message-ID: <NUINDcMz0MAJjZBy6CxmTekwYvfR6cwgtL_lHcWgWLw=.3b09d5b7-f754-493d-a202-cffddfa69a88@github.com>

On Fri, 4 Jul 2025 08:40:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
> 
> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
> 
> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
> 
> Thanks!

Marked as reviewed by zsong (Reviewer).

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

PR Review: https://git.openjdk.org/skara/pull/1724#pullrequestreview-2994692798

From jlahoda at openjdk.org  Tue Jul  8 13:51:21 2025
From: jlahoda at openjdk.org (Jan Lahoda)
Date: Tue, 8 Jul 2025 13:51:21 GMT
Subject: RFR: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <FU91BJ0_7Zg-SSQfD5Wv02R4LA-wHFkgVPFTYz9aV-E=.e953579c-42e1-4de6-aa98-bd586856e5dd@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
 <FU91BJ0_7Zg-SSQfD5Wv02R4LA-wHFkgVPFTYz9aV-E=.e953579c-42e1-4de6-aa98-bd586856e5dd@github.com>
Message-ID: <LMVnFYBe1QvU1636nXVMQQ3RpG4dGlofYos_L82cvIg=.d20ad1a0-baa2-4ee1-af23-f36a562cdc36@github.com>

On Mon, 7 Jul 2025 16:42:52 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
>> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
>> 
>> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
>> 
>> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
>> 
>> Thanks!
>
> The change looks good to me. But please file an issue for it in SKARA project. https://bugs.openjdk.org/projects/SKARA

@zhaosongzs - can I issue the integrate command, or should I wait for another reviewer (the comment on pre-integration checks is not clear in this case). Thanks!

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

PR Comment: https://git.openjdk.org/skara/pull/1724#issuecomment-3049049778

From zsong at openjdk.org  Tue Jul  8 16:04:14 2025
From: zsong at openjdk.org (Zhao Song)
Date: Tue, 8 Jul 2025 16:04:14 GMT
Subject: RFR: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <FU91BJ0_7Zg-SSQfD5Wv02R4LA-wHFkgVPFTYz9aV-E=.e953579c-42e1-4de6-aa98-bd586856e5dd@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
 <FU91BJ0_7Zg-SSQfD5Wv02R4LA-wHFkgVPFTYz9aV-E=.e953579c-42e1-4de6-aa98-bd586856e5dd@github.com>
Message-ID: <ks2pLA5qdv6iZb_Dclt5-3w7oRvEIdUDc56gIpvEW2k=.67a2dcea-6978-4897-80f1-90ef3fa118ce@github.com>

On Mon, 7 Jul 2025 16:42:52 GMT, Zhao Song <zsong at openjdk.org> wrote:

>> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
>> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
>> 
>> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
>> 
>> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
>> 
>> Thanks!
>
> The change looks good to me. But please file an issue for it in SKARA project. https://bugs.openjdk.org/projects/SKARA

> @zhaosongzs - can I issue the integrate command, or should I wait for another reviewer (the comment on pre-integration checks is not clear in this case). Thanks!

Yes, please issue the integrate command

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

PR Comment: https://git.openjdk.org/skara/pull/1724#issuecomment-3049506905

From duke at openjdk.org  Wed Jul  9 05:11:00 2025
From: duke at openjdk.org (duke)
Date: Wed, 9 Jul 2025 05:11:00 GMT
Subject: RFR: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
Message-ID: <A_v5-feGTKNk8cPOxCrwK-OOclDsKONSeoNltG-BytM=.724c10ee-e637-4849-9ddb-0c1cf1482537@github.com>

On Fri, 4 Jul 2025 08:40:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
> 
> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
> 
> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
> 
> Thanks!

@lahodaj 
Your change (at version e5aae14b55d4c21ad08cb31bda74d69711ae57d0) is now ready to be sponsored by a Committer.

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

PR Comment: https://git.openjdk.org/skara/pull/1724#issuecomment-3051135662

From zsong at openjdk.org  Thu Jul 10 17:23:26 2025
From: zsong at openjdk.org (Zhao Song)
Date: Thu, 10 Jul 2025 17:23:26 GMT
Subject: RFR: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
Message-ID: <FThJLgGjS9bA7lXjTpJC2vPv-VSc6zb5nDFsTSMN2Bk=.2fc88651-2479-479b-81ae-918486411ee3@github.com>

On Fri, 4 Jul 2025 08:40:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
> 
> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
> 
> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
> 
> Thanks!

Sorry for the delayed response, I somehow forgot to sponsor your PR yesterday.

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

PR Comment: https://git.openjdk.org/skara/pull/1724#issuecomment-3058305696

From jlahoda at openjdk.org  Thu Jul 10 17:23:26 2025
From: jlahoda at openjdk.org (Jan Lahoda)
Date: Thu, 10 Jul 2025 17:23:26 GMT
Subject: Integrated: 2535: Merge JShell's file locations mapping into the
 'compiler' label, and deleting mapping for 'kulla'
In-Reply-To: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
References: <r8mdZxP-s3iAXXkHzMS-tZXL-CzyDv9oKUvSCt5x6Yg=.eb3af39f-0443-4f0f-bcd8-1c9506c30220@github.com>
Message-ID: <fGuG7vUB9YdWLnbtf3tMbFHXSfUMZmtEFndqaEN8kJw=.a7f2d625-d77a-4cb0-9807-4e20f6f28576@github.com>

On Fri, 4 Jul 2025 08:40:32 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a proposal to dissolve the Kulla project (the project that introduced JShell into JDK), and use the `compiler-dev` mailing list instead of `kulla-dev`:
> https://mail.openjdk.org/pipermail/kulla-dev/2025-June/005928.html
> 
> The idea in this PR is to merge the file mappings used for JShell into the `compiler` label, so that changes touching JShell get the `compiler` label, and the e-mails are sent to `compiler-dev`.
> 
> Please let me now if there's something better than can be done, or what more is needed to stop using the `kulla-dev` list.
> 
> Thanks!

This pull request has now been integrated.

Changeset: 9ee28e84
Author:    Jan Lahoda <jlahoda at openjdk.org>
Committer: Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/9ee28e846c5ca8beb1d52e7069b130defdb993a6
Stats:     14 lines in 1 file changed: 6 ins; 8 del; 0 mod

2535: Merge JShell's file locations mapping into the 'compiler' label, and deleting mapping for 'kulla'

Reviewed-by: zsong

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

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

From yzheng at openjdk.org  Thu Jul 17 14:33:39 2025
From: yzheng at openjdk.org (Yudi Zheng)
Date: Thu, 17 Jul 2025 14:33:39 GMT
Subject: RFR: 2547: Notify graal mailing list for java man page changes
Message-ID: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>

This allows Graal developers to make adaptions to java man page changes in time

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

Commit messages:
 - Notify graal mailing list for java man page changes

Changes: https://git.openjdk.org/skara/pull/1725/files
  Webrev: https://webrevs.openjdk.org/?repo=skara&pr=1725&range=00
  Issue: https://bugs.openjdk.org/browse/SKARA-2547
  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/skara/pull/1725.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1725/head:pull/1725

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

From iris at openjdk.org  Thu Jul 17 14:50:41 2025
From: iris at openjdk.org (Iris Clark)
Date: Thu, 17 Jul 2025 14:50:41 GMT
Subject: RFR: 2547: Notify graal mailing list for java man page changes
In-Reply-To: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
References: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
Message-ID: <Yp4qXGoQpu-lbxzh1LUpEfiYk6rk9IIuDX2ibDcWjEQ=.89eba93b-7f10-4c10-8fcf-5a86820b5a07@github.com>

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

java.md location confirmed

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

Marked as reviewed by iris (no project role).

PR Review: https://git.openjdk.org/skara/pull/1725#pullrequestreview-3029873736

From dnsimon at openjdk.org  Thu Jul 17 15:03:28 2025
From: dnsimon at openjdk.org (Doug Simon)
Date: Thu, 17 Jul 2025 15:03:28 GMT
Subject: RFR: 2547: Notify graal mailing list for java man page changes
In-Reply-To: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
References: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
Message-ID: <_Yh3w9faZBwoZJ9Xnr8SpvAB7SRaxny_iLwSlE_BUTA=.28b37945-3726-4690-a6c3-66def9f80f86@github.com>

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

From zsong at openjdk.org  Thu Jul 17 15:38:35 2025
From: zsong at openjdk.org (Zhao Song)
Date: Thu, 17 Jul 2025 15:38:35 GMT
Subject: RFR: 2547: Notify graal mailing list for java man page changes
In-Reply-To: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
References: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
Message-ID: <QP4PaId8BgIsmRbLgSC1F3T-byLxYdxGxTuCRfA963Q=.ba7a42be-68e4-44d8-ae05-ea4063a4d326@github.com>

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

From yzheng at openjdk.org  Fri Jul 18 09:07:00 2025
From: yzheng at openjdk.org (Yudi Zheng)
Date: Fri, 18 Jul 2025 09:07:00 GMT
Subject: RFR: 2547: Notify graal mailing list for java man page changes
In-Reply-To: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
References: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
Message-ID: <7xADLJOcaZ1xnUDNJ6nB1-WOxh6QMAj0rTOYayJ5SQw=.fd320e1a-edc8-42b7-a24f-1781a871cd4d@github.com>

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

From duke at openjdk.org  Fri Jul 18 09:07:00 2025
From: duke at openjdk.org (duke)
Date: Fri, 18 Jul 2025 09:07:00 GMT
Subject: RFR: 2547: Notify graal mailing list for java man page changes
In-Reply-To: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
References: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
Message-ID: <vFLUmd5lv5s9iukq6garqJ_j1utrEghEUtqmTvAqSJE=.38d8dd21-393f-4759-a47a-2e098ea8f49f@github.com>

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

From yzheng at openjdk.org  Fri Jul 18 15:28:51 2025
From: yzheng at openjdk.org (Yudi Zheng)
Date: Fri, 18 Jul 2025 15:28:51 GMT
Subject: Integrated: 2547: Notify graal mailing list for java man page changes
In-Reply-To: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
References: <x4VTGf0ftrx5XJj8g43_UNomHJ1vbtRN-MphzXY_ZPo=.f32092f2-63b0-448a-b364-07d4e1f8b0f2@github.com>
Message-ID: <zf9GrCrkBy_eQoFuk6IBHmzJ8aYm_CkK6lfrkJ8Wfdc=.d0f6ccd4-abaa-4f2c-b4e5-44ce0340b8e2@github.com>

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