# HG changeset patch
# User duke
# Date 1499270095 -7200
# Node ID 4cc0ef72c812943743ef4765f1100e2fbe2b1a08
# Parent  07c7b19b379cdf54f7ccf1086a974ba6422f9717# Parent  b6f58481f3c4112b8cb1b4def5ef35469d457901
Merge

diff -r 07c7b19b379c -r 4cc0ef72c812 .hgtags
--- a/.hgtags	Wed Jul 05 17:54:52 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:54:55 2017 +0200
@@ -133,3 +133,4 @@
 fbf3cabc9e3bb1fcf710941d777cb0400505fbe6 jdk8-b09
 f651ce87127980c58e3599daba964eba2f3b4026 jdk8-b10
 cc1f5ce8e504d350e0b0c28c5f84333f8d540132 jdk8-b11
+86db042b3385c338e17f7664447fdc7d406dd19e jdk8-b12