# HG changeset patch
# User duke
# Date 1499270140 -7200
# Node ID 9ffaa48dbfb0f5936c2b789867d0785faec7071d
# Parent  ca96e9bf66564603d3fcc9fb59a9ae726012b0ef# Parent  11ebfd872f837bb68be111cc9a4a9cf911068dca
Merge

diff -r ca96e9bf6656 -r 9ffaa48dbfb0 .hgtags
--- a/.hgtags	Wed Jul 05 17:55:37 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:55:40 2017 +0200
@@ -134,3 +134,4 @@
 f651ce87127980c58e3599daba964eba2f3b4026 jdk8-b10
 cc1f5ce8e504d350e0b0c28c5f84333f8d540132 jdk8-b11
 86db042b3385c338e17f7664447fdc7d406dd19e jdk8-b12
+4cc0ef72c812943743ef4765f1100e2fbe2b1a08 jdk8-b13