From dcd4014cd8a6f49a564cbb95387ad01a80a20bed Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Fri, 6 Sep 2019 17:50:16 +0200
Subject: [PATCH] Added tag jdk-13-ga for changeset 9c250a7600e1

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hgtags b/.hgtags
index 49630f930f4..b09a3c2a442 100644
--- a/.hgtags
+++ b/.hgtags
@@ -573,3 +573,4 @@ b7f68ddec66f996ae3aad03291d129ca9f02482d jdk-13+27
 5c85b58e2a42197c2425fb766bf510ccf60d8c06 jdk-13+33
 5c85b58e2a42197c2425fb766bf510ccf60d8c06 jdk-13+33
 9c250a7600e12bdb1e611835250af3204d4aa152 jdk-13+33
+9c250a7600e12bdb1e611835250af3204d4aa152 jdk-13-ga