# HG changeset patch
# User duke
# Date 1499273668 -7200
# Node ID 4dec41b3c5e3bb616f0c6f15830d940905aa5d16
# Parent  91ad928e55ca906797f6f2bd040f94adfe3a8409# Parent  6532e7e5179e833e87ae29d08378bd8c48e44a16
Merge

diff -r 91ad928e55ca -r 4dec41b3c5e3 .hgtags
--- a/.hgtags	Wed Jul 05 18:54:25 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:54:28 2017 +0200
@@ -209,3 +209,4 @@
 1872c12529090e1c1dbf567f02ad7ae6231b8f0c jdk8-b85
 da9a4c9312816451884aa6db6f18be51a07bff13 jdk8-b86
 5ebf6c63714de2c9dcf831074086d31daec819df jdk8-b87
+e517701a4d0e25ae9c7945bca6e1762a8c5d8aa6 jdk8-b88