# HG changeset patch
# User jwilhelm
# Date 1547682721 -3600
# Node ID 771d591f902468afbf01a8f0d984ab2632165b20
# Parent  20a872899315d60f4b0df5cc20c33f06b8a0dc8b
Added tag jdk-13+4 for changeset a47b8125b7cc

diff -r 20a872899315 -r 771d591f9024 .hgtags
--- a/.hgtags	Wed Jan 16 17:37:09 2019 -0500
+++ b/.hgtags	Thu Jan 17 00:52:01 2019 +0100
@@ -534,3 +534,4 @@
 de9fd809bb475401aad188eab2264226788aad81 jdk-12+26
 642346a11059b9f283110dc301a24ed43b76a94e jdk-13+3
 f15d443f97318e9b40e6f451e327ff69ed4ec361 jdk-12+27
+a47b8125b7cc9ef59619745c163975fe935b57ed jdk-13+4