Integrated: 7241: Adjust main pom.xml to more align for 3th party builds
Patrick Reinhart
reinhapa at openjdk.java.net
Thu May 6 14:01:51 UTC 2021
On Wed, 14 Apr 2021 17:49:09 GMT, Patrick Reinhart <reinhapa at openjdk.org> wrote:
> Signed-off-by: Patrick Reinhart <patrick at reini.net>
This pull request has now been integrated.
Changeset: 8653337d
Author: Patrick Reinhart <reinhapa at openjdk.org>
Committer: Marcus Hirt <hirt at openjdk.org>
URL: https://git.openjdk.java.net/jmc/commit/8653337db77e39b0c4e5ebbd3f4da0ead16db291
Stats: 14 lines in 1 file changed: 4 ins; 10 del; 0 mod
7241: Adjust main pom.xml to more align for 3th party builds
Reviewed-by: ghb
-------------
PR: https://git.openjdk.java.net/jmc/pull/241
More information about the jmc-dev
mailing list