git: openjdk/jdk13u-dev: Added tag jdk-13.0.10+4 for changeset c42c231e

[Yuri Nesterenko]

Tagged by: Yuri Nesterenko <yan at openjdk.org>
Date:      2021-12-20 12:31:30 +0000

Added tag jdk-13.0.10+4 for changeset c42c231e
Changeset: c42c231e
Author:    Olga Mikhaltsova <omikhaltcova at openjdk.org>
Committer: Yuri Nesterenko <yan at openjdk.org>
Date:      2021-12-20 08:30:02 +0000
URL:       https://git.openjdk.java.net/jdk13u-dev/commit/c42c231e1dabd37ec09362291dc8141117ce0bbd