Integrated: 941: Warn about required merge after dependent PR integration
rwestberg at openjdk.java.net
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.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 30 lines in 3 files changed: 27 ins; 0 del; 3 mod
941: Warn about required merge after dependent PR integration
More information about the skara-dev