# HG changeset patch
# User duke
# Date 1499267168 -7200
# Node ID dcc938ac40cc45f1ef454d76020b5db5d943001c
# Parent  704741d138be9428da0725cc489928288a38a090# Parent  451ab18518f6ec6d2d73ea6aa6b87a6883b4e90d
Merge

diff -r 704741d138be -r dcc938ac40cc .hgtags
--- a/.hgtags	Wed Jul 05 17:06:06 2017 +0200
+++ b/.hgtags	Wed Jul 05 17:06:08 2017 +0200
@@ -54,3 +54,4 @@
 1d0121b741f029dc4b828e4b36ba6fda92907dd7 jdk7-b77
 4061c66ba1af1a2e27c2c839ba887407dd3ce050 jdk7-b78
 e9c98378f6b9256c0595ef2985ca5899f0c0e274 jdk7-b79
+e6abd38682d237306d6c147c17538ec9e7f8e3a7 jdk7-b80