# HG changeset patch
# User andrew
# Date 1436628021 -3600
# Node ID 837186d1c03ede04a7be7c79f7747ffc9d754fbc
# Parent  dce5a828bdd56d228724f1e9c6253920f613cec5
Added tag jdk7u85-b01 for changeset dce5a828bdd5

diff -r dce5a828bdd5 -r 837186d1c03e .hgtags
--- a/.hgtags	Wed Jul 08 21:51:28 2015 +0100
+++ b/.hgtags	Sat Jul 11 16:20:21 2015 +0100
@@ -598,3 +598,4 @@
 f2b4d5e42318ed93d35006ff7d1b3b0313b5a71f jdk7u80-b15
 f1ffea3bd4a4df0f74ce0c127aeacf6bd11ee612 jdk7u80-b32
 1b20ca77fa98bb29d1f5601f027b3055e9eb28ee jdk7u85-b00
+dce5a828bdd56d228724f1e9c6253920f613cec5 jdk7u85-b01