From ecc1af23affd2dd2539ba54ca36f48b4590f414f Mon Sep 17 00:00:00 2001
From: Jesper Wilhelmsson <jwilhelm@openjdk.org>
Date: Thu, 5 Jul 2018 13:31:04 +0200
Subject: [PATCH] Added tag jdk-12+1 for changeset 00b16d0457e4

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

diff --git a/.hgtags b/.hgtags
index 90dc59066ad..3d442e0a24a 100644
--- a/.hgtags
+++ b/.hgtags
@@ -493,3 +493,4 @@ e1b3def126240d5433902f3cb0e91a4c27f6db50 jdk-11+18
 36ca515343e00b021dcfc902e986d26ec994a2e5 jdk-11+19
 95aad0c785e497f1bade3955c4e4a677b629fa9d jdk-12+0
 9816d7cc655e53ba081f938b656e31971b8f097a jdk-11+20
+00b16d0457e43d23f6ca5ade6b243edce62750a0 jdk-12+1