# HG changeset patch
# User asaha
# Date 1410205081 25200
# Node ID 255269c44c53c0fb036c9fc067a33f2969f8bab0
# Parent  d4be88d9bfbff3e41bc4121838e90160734d9805
Added tag jdk7u72-b13 for changeset d4be88d9bfbf

diff -r d4be88d9bfbf -r 255269c44c53 .hgtags
--- a/.hgtags	Mon Sep 08 12:31:45 2014 -0700
+++ b/.hgtags	Mon Sep 08 12:38:01 2014 -0700
@@ -514,3 +514,4 @@
 615c0d49e8927c9b03f5694df4ddb7a5e45eaf6d jdk7u72-b10
 b34f135642cddf3c15f1fecaad320cb12cbd9472 jdk7u72-b11
 cfa494e8b9bcd29ba59f1bfa3c365418b4102f71 jdk7u72-b12
+d4be88d9bfbff3e41bc4121838e90160734d9805 jdk7u72-b13