From 391be244a972b150d160590d86f439f43b1c170b Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 10 Jan 2019 04:52:01 +0100
Subject: [PATCH] Added tag jdk-13+3 for changeset 642346a11059

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

diff --git a/.hgtags b/.hgtags
index 08dccf5b560..6d18b2a6b90 100644
--- a/.hgtags
+++ b/.hgtags
@@ -532,3 +532,4 @@ cc4098b3bc10d1c390384289025fea7b0d4b9e93 jdk-13+0
 7496df94b3b79f3da53925d2d137317715f11d97 jdk-12+25
 50677f43ac3df9a8684222b8893543c60f3aa0bd jdk-13+2
 de9fd809bb475401aad188eab2264226788aad81 jdk-12+26
+642346a11059b9f283110dc301a24ed43b76a94e jdk-13+3