release-1.8.0 tag

diff --git a/.hgtags b/.hgtags
index 29540129efb69662d865dfea9206b6e64ba78ef2..d56e6adf36d3b3487f0079a3c4f176965926c311 100644 (file)
--- a/.hgtags
+++ b/.hgtags
@@ -382,3 +382,4 @@ d5ea659b8bab2d6402a2266efa691f705e84001e release-1.7.8
 860cfbcc4606ee36d898a9cd0c5ae8858db984d6 release-1.7.10
 2b3b737b5456c05cd63d3d834f4fb4d3776953d0 release-1.7.11
 3ef00a71f56420a9c3e9cec311c9a2109a015d67 release-1.7.12
+01d52c2b460da263fd1557ab5f8d0af5e404b47a release-1.8.0