# HG changeset patch
# User jwilhelm
# Date 1538642159 -7200
# Node ID 8705c6d536c5c197d0210acccf145ebc48f90227
# Parent  ef114f6afcf18129506568ec1bc8e197e6556e2c
Added tag jdk-12+14 for changeset 6f04692c7d51

diff -r ef114f6afcf1 -r 8705c6d536c5 .hgtags
--- a/.hgtags	Thu Oct 04 00:50:54 2018 +0200
+++ b/.hgtags	Thu Oct 04 10:35:59 2018 +0200
@@ -515,3 +515,5 @@
 15094d12a632f452a2064318a4e416d0c7a9ce0c jdk-12+12
 511a9946f83e3e3c7b9dbe1840367063fb39b4e1 jdk-12+13
 8897e41b327c0a5601c6ba2bba5d07f15a3ffc91 jdk-12+14
+8897e41b327c0a5601c6ba2bba5d07f15a3ffc91 jdk-12+14
+6f04692c7d5137ee34a6bd94c0c8a6c9219cb127 jdk-12+14