[jdk13u-dev] Integrated: 8288649: Bump update version for OpenJDK: jdk-13.0.13

[Yuri Nesterenko]

On Fri, 17 Jun 2022 07:59:28 GMT, Yuri Nesterenko <yan at openjdk.org> wrote:

> This is a regular update switching team repository to the October, 2022 release.
> Change is in the release number and the expected release date, and also in .jcheck/conf to instruct skara machinery do the switch.
> The change will be pushed just after the last 13.0.12 build made from the team repo is tagged.

This pull request has now been integrated.

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

8288649: Bump update version for OpenJDK: jdk-13.0.13

Reviewed-by: dcherepanov

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

PR: https://git.openjdk.org/jdk13u-dev/pull/364