From 20f3793312b7889500aff99f257e64273463de9a Mon Sep 17 00:00:00 2001
From: Mikael Vidstedt <mikael@openjdk.org>
Date: Fri, 17 Aug 2018 09:53:52 -0700
Subject: [PATCH] Added tag jdk-12+7 for changeset ef57958c7c51

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

diff --git a/.hgtags b/.hgtags
index 79370ccbc33..b11ccb71b11 100644
--- a/.hgtags
+++ b/.hgtags
@@ -505,3 +505,4 @@ ea900a7dc7d77dee30865c60eabd87fc24b1037c jdk-11+24
 499b873761d8e8a1cc4aa649daf04cbe98cbce77 jdk-12+4
 f8696e0ab9b795030429fc3374ec03e378fd9ed7 jdk-12+5
 7939b3c4e4088bf4f70ec5bbd8030393b653372f jdk-12+6
+ef57958c7c511162da8d9a75f0b977f0f7ac464e jdk-12+7