# HG changeset patch
# User asaha
# Date 1410204983 25200
# Node ID 795e444b63233f91c2ad8c68eca5ec5219c745ba
# Parent  9c6095c8748ba80aa1ffd14f978b24e50abcfdc1
Added tag jdk7u72-b13 for changeset 9c6095c8748b

diff -r 9c6095c8748b -r 795e444b6323 .hgtags
--- a/.hgtags	Mon Sep 08 12:19:44 2014 -0700
+++ b/.hgtags	Mon Sep 08 12:36:23 2014 -0700
@@ -512,3 +512,4 @@
 a8993ba5a86938e6bd9ab7c41401610b0e36afce jdk7u72-b10
 8d695cc7268f902f235506ac8d3849a4dd118bee jdk7u72-b11
 965b19722fce7a8303b89fc9288f7b6a9cf70922 jdk7u72-b12
+9c6095c8748ba80aa1ffd14f978b24e50abcfdc1 jdk7u72-b13