Integrated: 7358: Rename Agent Plug-in in the JVM Browser

Mon Jul 26 15:26:07 UTC 2021

On Mon, 26 Jul 2021 14:48:06 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> See the issue for more information.

This pull request has now been integrated.

Changeset: ef886f3a
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/ef886f3a84e212d28543354ca1bfa2c8b7c5467f
Stats:     8 lines in 1 file changed: 0 ins; 0 del; 8 mod

7358: Rename Agent Plug-in in the JVM Browser

Reviewed-by: ghb, aptmac

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

PR: https://git.openjdk.java.net/jmc/pull/284