# HG changeset patch
# User jwilhelm
# Date 1530208544 -7200
# Node ID 9948ea5ea1afa52a1058cccfcfde0eb08e1aa996
# Parent  12fbd3f35bae6616055cb15650ff4bcaae8ef3c6
Added tag jdk-12+0 for changeset c9cd3ec6a0eb

diff -r 12fbd3f35bae -r 9948ea5ea1af .hgtags
--- a/.hgtags	Thu Jun 28 11:41:45 2018 -0700
+++ b/.hgtags	Thu Jun 28 19:55:44 2018 +0200
@@ -493,3 +493,4 @@
 fb8b3f4672774e15654958295558a1af1b576919 jdk-11+19
 fb8b3f4672774e15654958295558a1af1b576919 jdk-11+19
 36ca515343e00b021dcfc902e986d26ec994a2e5 jdk-11+19
+c9cd3ec6a0ebaf373b6ff0071c396cc657f7c4bd jdk-12+0