# HG changeset patch
# User jwilhelm
# Date 1552533010 -3600
# Node ID f7a745888a1e84447b1e2e18ee03c164889db7a8
# Parent  db545bf94fbc5b7f6a000f6d8709432c36c3d1b8
Added tag jdk-13+12 for changeset 1d7aec80147a

diff -r db545bf94fbc -r f7a745888a1e .hgtags
--- a/.hgtags	Wed Mar 13 19:42:23 2019 -0700
+++ b/.hgtags	Thu Mar 14 04:10:10 2019 +0100
@@ -548,3 +548,4 @@
 b67884871b5fff79c5ef3eb8ac74dd48d71ea9b1 jdk-12+33
 8e069f7b4fabfe05d9f500783e6d56cb0196d25c jdk-13+10
 21ea4076a275a0f498afa517e9ee1b94a9cf0255 jdk-13+11
+1d7aec80147a6d92b101a76aef92f3ddc88bedf4 jdk-13+12