# HG changeset patch
# User duke
# Date 1503657561 -7200
# Node ID a85884d55ce32799f5c7382b7ea4839052b362a2
# Parent  07c0851a4da1af5d8176417c75c4639958490ff0# Parent  aa8767018372e371c8ca577425c05612035deb0e
Merge

diff -r 07c0851a4da1 -r a85884d55ce3 .hgtags
--- a/.hgtags	Fri Aug 25 12:39:17 2017 +0200
+++ b/.hgtags	Fri Aug 25 12:39:21 2017 +0200
@@ -444,3 +444,4 @@
 7db699468b4f84abbcc01647e5a964409737411a jdk-10+17
 3739654290616e533fc6f51bf9ad69ed47a6abba jdk-10+18
 14df107500cc3b8ab238c3e4ad2c74e12bfe6067 jdk-10+19
+4586bc5d28d13d3147b993e6237eaf29a7073bbb jdk-10+20