Added tag jdk7-b25 for changeset bf2517e15f0c
authorduke
Wed, 05 Jul 2017 16:34:33 +0200
changeset 174 63952d8b26b8
parent 173 bf2517e15f0c
child 330 5ae7db536e3f
Added tag jdk7-b25 for changeset bf2517e15f0c
.hgtags
--- a/.hgtags	Wed Jul 05 16:34:33 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:34:33 2017 +0200
@@ -1,1 +1,2 @@
 1cc8dd79fd1cd13d36b385196271a29632c67c3b jdk7-b24
+bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1 jdk7-b25