Integrated: 7371: Make Skara realize master is now 8.2

Mon Aug 2 19:28:30 UTC 2021

On Sat, 31 Jul 2021 13:57:35 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Will do a proper update, including splash, later this weekend.

This pull request has now been integrated.

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

7371: Make Skara realize master is now 8.2

Reviewed-by: jpbempel, hdafgard

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

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