diff -r 1de1a511e340 -r f2a9e3d0f454 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Tue Feb 25 16:48:48 2014 +0200
@@ -0,0 +1,1 @@
+b747e9fcd2b17485ffa2016d82be44eec87d9fa0 1.0