Integrated: 8090: Enhancements for agent pom

Thu Jun 15 05:57:04 UTC 2023

On Wed, 14 Jun 2023 08:19:56 GMT, Christoph Langer <clanger at openjdk.org> wrote:

> This is the cleanup for JMC agent in the sense of #495.
> 
> It contains:
> - version bumps
> - URL updates
> - spotless integration

This pull request has now been integrated.

Changeset: 7d760a51
Author:    Christoph Langer <clanger at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/7d760a5146e503c721b2ddb7569523a447ce3579
Stats:     67 lines in 1 file changed: 35 ins; 14 del; 18 mod

8090: Enhancements for agent pom

Reviewed-by: bdutheil, aptmac

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

PR: https://git.openjdk.org/jmc/pull/496