# HG changeset patch
# User Michael Guravage <michael.guravage@cwi.nl>
# Date 2011-10-04 12:10:20
# Node ID 48a69a5303ea916002505b9f4fc37caea3625cd9
# Parent  4395ffa0b2dc2ba4e54de934b8c3c01eb75a2e0a

Added tag v1.0.1 for changeset 4395ffa0b2dc

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -17,3 +17,5 @@ 36b1885630942d1d6e4245c411b073c238717830
 0c80cde2ff53ca7f93627b45c95d7a49240989d3 v1.0.1
 0c80cde2ff53ca7f93627b45c95d7a49240989d3 v1.0.1
 0000000000000000000000000000000000000000 v1.0.1
+0000000000000000000000000000000000000000 v1.0.1
+4395ffa0b2dc2ba4e54de934b8c3c01eb75a2e0a v1.0.1