Integrated: 941: Warn about required merge after dependent PR integration

Fri Apr 23 13:53:25 UTC 2021

On Thu, 22 Apr 2021 13:33:55 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> When a dependent PR has been integrated, post an instructional message on how to merge these changes.

This pull request has now been integrated.

Changeset: f084dc29
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/f084dc29
Stats:     30 lines in 3 files changed: 27 ins; 0 del; 3 mod

941: Warn about required merge after dependent PR integration

Reviewed-by: erikj

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

PR: https://git.openjdk.java.net/skara/pull/1134