.hgtags
changeset 330 5ae7db536e3f
parent 174 63952d8b26b8
child 331 8a0dfcb6e335
--- a/.hgtags	Wed Jul 05 16:35:06 2017 +0200
+++ b/.hgtags	Wed Jul 05 16:35:09 2017 +0200
@@ -1,1 +1,2 @@
 1cc8dd79fd1cd13d36b385196271a29632c67c3b jdk7-b24
+bf2517e15f0c0f950e5b3143c4ca11e2df73dcc1 jdk7-b25