# HG changeset patch
# User cl
# Date 1381336485 25200
# Node ID c373a733d5d5147f99eaa2b91d6b937c28214fc9
# Parent  520b7b3d9153c1407791325946b07c5c222cf0d6
Added tag jdk7u45-b31 for changeset 520b7b3d9153

diff -r 520b7b3d9153 -r c373a733d5d5 .hgtags
--- a/.hgtags	Tue Oct 08 11:11:02 2013 -0700
+++ b/.hgtags	Wed Oct 09 09:34:45 2013 -0700
@@ -589,3 +589,4 @@
 0c0dc384915cafd9bfaa2fe5792a629a22d1b990 jdk7u45-b17
 12374864c655a2cefb0d65caaacf215d5365ec5f jdk7u45-b18
 3677c8cc3c89c0fa608f485b84396e4cf755634b jdk7u45-b30
+520b7b3d9153c1407791325946b07c5c222cf0d6 jdk7u45-b31