diff -r 57ab090b6109 -r 621de675247a .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Sat Aug 10 09:01:31 2013 +0200
@@ -0,0 +1,1 @@
+57ab090b6109902536ee34b1e8d4d123474311e3 r1.3