# HG changeset patch
# User cl
# Date 1294965831 28800
# Node ID 58ca438889f67418f4e064e22ba2bab33b13f3dd
# Parent  f658ec2730fa29323c36d23c27e54c7219ef5e16
Added tag jdk7-b125 for changeset abf8b0ea66cb

diff -r f658ec2730fa -r 58ca438889f6 hotspot/.hgtags
--- a/hotspot/.hgtags	Wed Jul 05 17:31:42 2017 +0200
+++ b/hotspot/.hgtags	Thu Jan 13 16:43:51 2011 -0800
@@ -140,3 +140,4 @@
 9669f9b284108a9ee0a0ccbe215c37a130c9dcf5 hs20-b04
 0a8e0d4345b37b71ec49dda08ee03b68c4f1b592 jdk7-b124
 0a8e0d4345b37b71ec49dda08ee03b68c4f1b592 hs20-b05
+e24ab3fa6aafad3efabbe7dba9918c5f461a20b1 jdk7-b125