Integrated: 8129: Add tool to simplify platform upgrades

Wed Nov 8 18:57:13 UTC 2023

On Sat, 14 Oct 2023 23:03:51 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Getting the versions needed from the eclipse update site. Can make something more out of this at a later point.

This pull request has now been integrated.

Changeset: 0d0df70a
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/0d0df70a277c2373894758d6695a97b44a71e6f8
Stats:     142 lines in 3 files changed: 142 ins; 0 del; 0 mod

8129: Add tool to simplify platform upgrades

Reviewed-by: aptmac, vpurnam

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

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