# HG changeset patch
# User duke
# Date 1499273034 -7200
# Node ID e41d716405b209d3eddef8bd4240cec2bd34dcca
# Parent  67777916a7fc61856044c527a1d1852ae2308b6c# Parent  737f0b692e5bf2030d932b0509e4ffc40b261d47
Merge

diff -r 67777916a7fc -r e41d716405b2 .hgtags
--- a/.hgtags	Wed Jul 05 18:43:50 2017 +0200
+++ b/.hgtags	Wed Jul 05 18:43:54 2017 +0200
@@ -201,3 +201,4 @@
 d17eb2e13e362085e866d46235314c50cc4661cc jdk8-b77
 6d3dcd34b5b962ea1ef9eed0dafdee9e812401bc jdk8-b78
 a1313a8d90d17d363a3b2a645dc4030ec204b168 jdk8-b79
+3fa21fbf9be7e6b482af43aacb6a09acfa30bdb6 jdk8-b80