# HG changeset patch
# User mikael
# Date 1534524832 25200
# Node ID 8b2310e7b741697296242f9f90cabb6742df9081
# Parent  f4e9ab292c901e1c4deafa5c735416ee6855e8c1
Added tag jdk-12+7 for changeset ef57958c7c51

diff -r f4e9ab292c90 -r 8b2310e7b741 .hgtags
--- a/.hgtags	Fri Aug 17 21:50:55 2018 +0530
+++ b/.hgtags	Fri Aug 17 09:53:52 2018 -0700
@@ -505,3 +505,4 @@
 499b873761d8e8a1cc4aa649daf04cbe98cbce77 jdk-12+4
 f8696e0ab9b795030429fc3374ec03e378fd9ed7 jdk-12+5
 7939b3c4e4088bf4f70ec5bbd8030393b653372f jdk-12+6
+ef57958c7c511162da8d9a75f0b977f0f7ac464e jdk-12+7