# HG changeset patch
# User katleman
# Date 1412798553 25200
# Node ID 2a4f0a3ead7dca917132e0bb55157fca5f85e109
# Parent  de0088aaf97fa861be8c17e97b57139287068c86
Added tag jdk7u72-b31 for changeset de0088aaf97f

diff -r de0088aaf97f -r 2a4f0a3ead7d .hgtags
--- a/.hgtags	Mon Oct 06 12:16:56 2014 -0700
+++ b/.hgtags	Wed Oct 08 13:02:33 2014 -0700
@@ -523,3 +523,4 @@
 cade57461d3b90a59ec62c06d77068b1b73f05b2 jdk7u72-b13
 6106b56a874e19e603660a09d506fe8afcde9e14 jdk7u72-b14
 7a09f7596c8bb17d3b25b4506dd76425f6efb15e jdk7u72-b30
+de0088aaf97fa861be8c17e97b57139287068c86 jdk7u72-b31