Integrated: 7267: Change artifact id from "org.openjdk.jmc.agent" to "agent"
Patrick Reinhart
reinhapa at openjdk.java.net
Fri Jun 11 02:48:53 UTC 2021
On Wed, 9 Jun 2021 18:59:58 GMT, Patrick Reinhart <reinhapa at openjdk.org> wrote:
> - Changes the current artifact id from `org.openjdk.jmc.agent` to `agent`
> - Changes all agent artifact/version references within command line arguments accordingly
This pull request has now been integrated.
Changeset: d622dd3f
Author: Patrick Reinhart <reinhapa at openjdk.org>
Committer: Guru Hb <ghb at openjdk.org>
URL: https://git.openjdk.java.net/jmc/commit/d622dd3fa3553885c6369c5c2937780cab21f0c5
Stats: 13 lines in 1 file changed: 1 ins; 1 del; 11 mod
7267: Change artifact id from "org.openjdk.jmc.agent" to "agent"
Reviewed-by: ghb
-------------
PR: https://git.openjdk.java.net/jmc/pull/261
More information about the jmc-dev
mailing list