diff -r 000000000000 -r c880957671f6 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Mon Nov 17 11:36:20 2014 +0000
@@ -0,0 +1,1 @@
+7fbec6da812358ce923f4679f8a7fb04d53260bf 0.5