# HG changeset patch
# User jwilhelm
# Date 1539211389 -7200
# Node ID a36ee8e96c1e31367a73609a95cbc29364cf85fd
# Parent  fc52ccf451cd409e2271e98f0c217b92a133380c
Added tag jdk-12+15 for changeset f8626bcc1698

diff -r fc52ccf451cd -r a36ee8e96c1e .hgtags
--- a/.hgtags	Wed Oct 10 15:19:34 2018 -0700
+++ b/.hgtags	Thu Oct 11 00:43:09 2018 +0200
@@ -517,3 +517,4 @@
 8897e41b327c0a5601c6ba2bba5d07f15a3ffc91 jdk-12+14
 8897e41b327c0a5601c6ba2bba5d07f15a3ffc91 jdk-12+14
 6f04692c7d5137ee34a6bd94c0c8a6c9219cb127 jdk-12+14
+f8626bcc169813a4b2a15880386b952719d1d6d1 jdk-12+15