Integrated: 8390: Wrong target platform name

Thu Apr 24 21:29:52 UTC 2025

On Thu, 24 Apr 2025 18:38:44 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> The 2025-03 target platform has the wrong name.

This pull request has now been integrated.

Changeset: c20efe31
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/c20efe311cbf65c3b25b426a32fd2aa4ae435984
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8390: Wrong target platform name

Reviewed-by: aptmac

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

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