From c8e252c12adcebad19fb9c4bf3cb7b84f9c71c9f Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 17 Jan 2019 00:52:01 +0100
Subject: [PATCH] Added tag jdk-13+4 for changeset a47b8125b7cc

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

diff --git a/.hgtags b/.hgtags
index ce5a2b3afd7..f9a9323bceb 100644
--- a/.hgtags
+++ b/.hgtags
@@ -534,3 +534,4 @@ cc4098b3bc10d1c390384289025fea7b0d4b9e93 jdk-13+0
 de9fd809bb475401aad188eab2264226788aad81 jdk-12+26
 642346a11059b9f283110dc301a24ed43b76a94e jdk-13+3
 f15d443f97318e9b40e6f451e327ff69ed4ec361 jdk-12+27
+a47b8125b7cc9ef59619745c163975fe935b57ed jdk-13+4