[jdk13u-dev] Integrated: 8283444: Bump update version for OpenJDK: jdk-13.0.12

[Yuri Nesterenko]

On Mon, 21 Mar 2022 09:37:36 GMT, Yuri Nesterenko <yan at openjdk.org> wrote:

> Regular switch to a new version on the start of a season.

This pull request has now been integrated.

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

8283444: Bump update version for OpenJDK: jdk-13.0.12

Reviewed-by: dcherepanov

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

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