# HG changeset patch
# User asaha
# Date 1450127514 28800
# Node ID 5c0e5b080d22b6b3e6a36b4d420b3a9d08bcb879
# Parent  a8e4754b89aecc388623394a20f6d43d4c58f083
Added tag jdk8u72-b13 for changeset a8e4754b89ae

diff -r a8e4754b89ae -r 5c0e5b080d22 .hgtags
--- a/.hgtags	Mon Dec 14 12:56:17 2015 -0800
+++ b/.hgtags	Mon Dec 14 13:11:54 2015 -0800
@@ -790,3 +790,4 @@
 78b0df74e3743be0b578c63e209a03685136d1fa jdk8u72-b10
 37a99b0f443e45fbd0b0a3ed844e6c97d661b754 jdk8u72-b11
 b8e7dd0e21173ad829b40361763d27cb6ac532e9 jdk8u72-b12
+a8e4754b89aecc388623394a20f6d43d4c58f083 jdk8u72-b13