git: openjdk/jdk13u: Added tag jdk-13.0.13-ga for changeset 1c72f78e

[Yuri Nesterenko]

Tagged by: Yuri Nesterenko <yan at openjdk.org>
Date:      2022-10-18 16:14:12 +0000

Added tag jdk-13.0.13-ga for changeset 1c72f78e
Changeset: 1c72f78e
Author:    Yuri Nesterenko <yan at openjdk.org>
Date:      2022-08-16 17:40:29 +0000
URL:       https://git.openjdk.org/jdk13u/commit/1c72f78e55bec3fd56e87bbebc28194c8d8c2ef4