git: openjdk/jdk13u-dev: 8283444: Bump update version for OpenJDK: jdk-13.0.12

[Yuri Nesterenko]

Changeset: 4444442d
Author:    Yuri Nesterenko <yan at openjdk.org>
Date:      2022-03-21 10:22:24 +0000
URL:       https://git.openjdk.java.net/jdk13u-dev/commit/4444442d133b04525b1fa871c725757dabb73791

8283444: Bump update version for OpenJDK: jdk-13.0.12

Reviewed-by: dcherepanov

! .jcheck/conf
! make/autoconf/version-numbers