diff -r 000000000000 -r 4f42075aada1 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed May 09 18:09:06 2012 +0200
@@ -0,0 +1,1 @@
+11879ab3436433770b2a7efcba40c520982d1bd9 v1.0