Integrated: 6847: Upgrading to the Eclipse 2020-06 platform

Wed Jun 24 18:58:20 UTC 2020

On Mon, 22 Jun 2020 18:40:05 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Note that this one should probably go in after we get JMC-6838 in. That said, we can review it and get it ready for
> show-time.

This pull request has now been integrated.

Changeset: 0a1c4b38
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/0a1c4b38
Stats:     157 lines in 5 files changed: 3 ins; 154 del; 0 mod

6847: Upgrading to the Eclipse 2020-06 platform

Reviewed-by: hdafgard

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

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