# HG changeset patch # User duke # Date 1503585031 -7200 # Node ID 7db699468b4f84abbcc01647e5a964409737411a # Parent 554ed368461d06c202f3c481b4409f113ee01ac6# Parent 2f6544f9a0ea1300a53f297baba283ec6e56979c Merge diff -r 554ed368461d -r 7db699468b4f .hgtags --- a/.hgtags Thu Aug 24 16:30:27 2017 +0200 +++ b/.hgtags Thu Aug 24 16:30:31 2017 +0200 @@ -437,3 +437,4 @@ 9927a9f16738e240ab7014f0118f41e314ef8f99 jdk-10+13 9ef5029b247b4d940080417a287440bbdbab995b jdk-10+14 878e216039322cb3f0ecbd0944642a2b4e2593f3 jdk-10+15 +4bbea012e5676e8025ade2bcfab4d6581e6e9f4b jdk-10+16