diff -r 000000000000 -r a29623b68ca2 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Mon Jun 13 12:18:42 2016 +0100
@@ -0,0 +1,1 @@
+f7d950c3431c2bddad5f63db84b87c32b6624d29 0.5.1