# HG changeset patch
# User katleman
# Date 1412798504 25200
# Node ID cc4b22b0bc1810d6bb1367f08c47707923a89b0e
# Parent  891bb800d7b2abff392669276f9e55ff30ba9962
Added tag jdk7u72-b31 for changeset 891bb800d7b2

diff -r 891bb800d7b2 -r cc4b22b0bc18 .hgtags
--- a/.hgtags	Mon Oct 06 12:13:39 2014 -0700
+++ b/.hgtags	Wed Oct 08 13:01:44 2014 -0700
@@ -521,3 +521,4 @@
 9c6095c8748ba80aa1ffd14f978b24e50abcfdc1 jdk7u72-b13
 fa606411d8fd650334b6f90d626399e13e77740f jdk7u72-b14
 f42462b4dfd81539eacf90955d2d26e1dc1686c0 jdk7u72-b30
+891bb800d7b2abff392669276f9e55ff30ba9962 jdk7u72-b31