hg: jdk-updates/jdk13u: 2 new changesets

[yan at azul.com]

Changeset: 224c6170bd35
Author:    yan
Date:      2020-11-05 13:25 +0300
URL:       https://hg.openjdk.java.net/jdk-updates/jdk13u/rev/224c6170bd35

Added tag jdk-13.0.5.1+0 for changeset 812677467170

! .hgtags

Changeset: 5672724cf539
Author:    yan
Date:      2020-11-05 13:29 +0300
URL:       https://hg.openjdk.java.net/jdk-updates/jdk13u/rev/5672724cf539

8255933: Bump patch update version for OpenJDK: jdk-13.0.5.1
Reviewed-by: bae

! make/autoconf/version-numbers