Integrated: Allow backport from PR

Tue Aug 22 19:17:50 UTC 2023

On Tue, 22 Aug 2023 18:29:30 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Minor update since the Skara tooling has been updated to allow backports from PRs.

This pull request has now been integrated.

Changeset: 5b716c57
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/guide/commit/5b716c578c5b3b23af4cdf9d79efb7353993fdf9
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

Allow backport from PR

Reviewed-by: mikael, iris

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

PR: https://git.openjdk.org/guide/pull/114