[jdk13u-dev] Integrated: 8259221: Bump update version for OpenJDK: jdk-13.0.7

[Yuri Nesterenko]

On Tue, 5 Jan 2021 07:01:51 GMT, Yuri Nesterenko <yan at openjdk.org> wrote:

> Bump the version of jdk13u-dev to 13.0.7 (already defined in JBS).
> I've also added exactly this version string, "13.0.7" to the "version" in "[general]" section of .jcheck/conf: @rwestberg, could you please take a look? Some action may be necessary on the server side, once, I hope, for this repo.

This pull request has now been integrated.

Changeset: 9e30b3d3
Author:    Yuri Nesterenko <yan at openjdk.org>
URL:       https://git.openjdk.java.net/jdk13u-dev/commit/9e30b3d3
Stats:     3 lines in 2 files changed: 1 ins; 0 del; 2 mod

8259221: Bump update version for OpenJDK: jdk-13.0.7

Reviewed-by: bae

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

PR: https://git.openjdk.java.net/jdk13u-dev/pull/72