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

[Andrew Brygin]

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.

The change looks fine to me.

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

Marked as reviewed by bae (Reviewer).

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