8255933: Bump patch update version for OpenJDK: jdk-13.0.5.1

Yuri Nesterenko · Yuri Nesterenko · commit d9a5a575f8ee · 2020-11-05T13:29:32.000+03:00
Reviewed-by: bae
diff --git a/make/autoconf/version-numbers b/make/autoconf/version-numbers
@@ -29,11 +29,11 @@
 DEFAULT_VERSION_FEATURE=13
 DEFAULT_VERSION_INTERIM=0
 DEFAULT_VERSION_UPDATE=5
-DEFAULT_VERSION_PATCH=0
+DEFAULT_VERSION_PATCH=1
 DEFAULT_VERSION_EXTRA1=0
 DEFAULT_VERSION_EXTRA2=0
 DEFAULT_VERSION_EXTRA3=0
-DEFAULT_VERSION_DATE=2020-10-20
+DEFAULT_VERSION_DATE=2020-11-06
 DEFAULT_VERSION_CLASSFILE_MAJOR=57  # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`"
 DEFAULT_VERSION_CLASSFILE_MINOR=0
 DEFAULT_ACCEPTABLE_BOOT_VERSIONS="12 13"
