# HG changeset patch
# User katleman
# Date 1412798538 25200
# Node ID 5746a9dc6d98c5eaab46abe75046b2fcec2615cf
# Parent  d8246774af472f617033202d2c58c7572da08dcd
Added tag jdk7u72-b31 for changeset d8246774af47

diff -r d8246774af47 -r 5746a9dc6d98 .hgtags
--- a/.hgtags	Mon Oct 06 12:15:24 2014 -0700
+++ b/.hgtags	Wed Oct 08 13:02:18 2014 -0700
@@ -524,3 +524,4 @@
 8f0d267ca63ab2f9d7839604ae88fafbcc0ad2d4 jdk7u72-b13
 fec38133453a8d70d4c528595ae1cab47909c4bd jdk7u72-b14
 e8ab19435208726b1334ba8e7928ea154e0959b3 jdk7u72-b30
+d8246774af472f617033202d2c58c7572da08dcd jdk7u72-b31