Tagging for release r25a0
diff --git a/.hgtags b/.hgtags
index 7517cf0..74f26b2 100644
--- a/.hgtags
+++ b/.hgtags
@@ -58,3 +58,4 @@
 0000000000000000000000000000000000000000 v2.5a0
 c041b362bb04d8cf1753c47bbb26ade416da8658 v2.5a0
 0000000000000000000000000000000000000000 v2.5a0
+22345d1e6852703d7f45ee825ab99cf8d8c8054b v2.5a0