Integrated: 1905: Notify graal mailing list for JVMCI related PRs

Fri May 12 18:17:01 UTC 2023

On Thu, 11 May 2023 21:05:23 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> Add the new `graal` label to the auto label configuration for jvmci related paths. This will include the graal-dev mailinglist in PRs touching files in those paths.

This pull request has now been integrated.

Changeset: 9ef33917
Author:    Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/9ef3391701cf806e3674aa4b0625d093e7b59c10
Stats:     6 lines in 1 file changed: 6 ins; 0 del; 0 mod

1905: Notify graal mailing list for JVMCI related PRs

Reviewed-by: kcr, iris

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

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