# HG changeset patch
# User andrew
# Date 1436628014 -3600
# Node ID 0827ff549393282e26ddd15c37cf82941dfd6b69
# Parent  76707a6d46afa9a057756f4d3614c0da1320499c
Added tag jdk7u85-b01 for changeset 76707a6d46af

diff -r 76707a6d46af -r 0827ff549393 .hgtags
--- a/.hgtags	Wed Jul 08 21:51:22 2015 +0100
+++ b/.hgtags	Sat Jul 11 16:20:14 2015 +0100
@@ -596,3 +596,4 @@
 f19659de2034611095d307ccc68f777abc8b008e jdk7u80-b15
 458545155c9326c27b4e84a8a087f4419e8f122e jdk7u80-b32
 3b6a81ffb63654d5148168c2ba00288dfc833fe4 jdk7u85-b00
+76707a6d46afa9a057756f4d3614c0da1320499c jdk7u85-b01