# HG changeset patch
# User jwilhelm
# Date 1548288071 -3600
# Node ID 847f311741b4321bc290fdf7925ce7cdb0a3a025
# Parent  fb34e6aff623dc114293d0b74f4fb2438bfab1a4
Added tag jdk-13+5 for changeset e3ed96060992

diff -r fb34e6aff623 -r 847f311741b4 .hgtags
--- a/.hgtags	Wed Jan 23 15:43:01 2019 -0800
+++ b/.hgtags	Thu Jan 24 01:01:11 2019 +0100
@@ -537,3 +537,4 @@
 a47b8125b7cc9ef59619745c163975fe935b57ed jdk-13+4
 659b004b6a1bd8c31e766cbdf328d8f8473fd4d7 jdk-12+28
 
+e3ed960609927b5fdfd0a797159835cd83a81a31 jdk-13+5