Tagging for release r25a0
diff --git a/.hgtags b/.hgtags
index dba195e..6ee5af6 100644
--- a/.hgtags
+++ b/.hgtags
@@ -60,3 +60,4 @@
 0000000000000000000000000000000000000000 v2.5a0
 22345d1e6852703d7f45ee825ab99cf8d8c8054b v2.5a0
 0000000000000000000000000000000000000000 v2.5a0
+67192da3e69c985bb1272da932d7de6073033fad v2.5a0