release-0.8.25 tag

diff --git a/.hgtags b/.hgtags
index f5faf9df5316de9bc622e3ade1874851c58b1547..9c1c89170cde43296b80851481ce221d328aa6f8 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -271,3 +271,4 @@ ea3d168fb99c32a5c3545717ecc61e85a375e5dd release-0.8.20
 d56c8b5df517c2bf6e7bc2827b8bf3e08cda90e1 release-0.8.22
 3c6ac062b379b126212cbb27e98a3c8275ef381a release-0.8.23
 89b9173476de14688b1418fbf7df10f91d1719ef release-0.8.24
+aa550cb4159ae0d566006e091fb1c7a888771050 release-0.8.25