# HG changeset patch
# User xdono
# Date 1253220405 25200
# Node ID 71bcffb7818357353232702d31c78019fa44dbf4
# Parent  df4bcd06e1d0ab306efa5a44f24a409dc0c0c742
Added tag jdk7-b72 for changeset 0fa11a27fb57

diff -r df4bcd06e1d0 -r 71bcffb78183 hotspot/.hgtags
--- a/hotspot/.hgtags	Wed Jul 05 17:00:34 2017 +0200
+++ b/hotspot/.hgtags	Thu Sep 17 13:46:45 2009 -0700
@@ -46,3 +46,4 @@
 54fd4d9232969ea6cd3d236e5ad276183bb0d423 jdk7-b69
 0632c3e615a315ff11e2ab1d64f4d82ff9853461 jdk7-b70
 50a95aa4a247f0cbbf66df285a8b1d78ffb153d9 jdk7-b71
+a94714c550658fd6741793ef036cb9625dc2ab1a jdk7-b72