# HG changeset patch
# User duke
# Date 1503584993 -7200
# Node ID 4bbea012e5676e8025ade2bcfab4d6581e6e9f4b
# Parent  4c0ccce6c76b5d2415d054364388de46b34fbeb2# Parent  634f193b771609e4ee903d28a4497b470618e63e
Merge

diff -r 4c0ccce6c76b -r 4bbea012e567 .hgtags
--- a/.hgtags	Thu Aug 24 16:29:49 2017 +0200
+++ b/.hgtags	Thu Aug 24 16:29:53 2017 +0200
@@ -436,3 +436,4 @@
 e6d70017f5b9adbb2ec82d826973d0251800a3c3 jdk-10+12
 9927a9f16738e240ab7014f0118f41e314ef8f99 jdk-10+13
 9ef5029b247b4d940080417a287440bbdbab995b jdk-10+14
+878e216039322cb3f0ecbd0944642a2b4e2593f3 jdk-10+15