diff -r af3df945b51f -r 01a7a0605020 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Thu Dec 20 00:26:00 2018 +0100
@@ -0,0 +1,1 @@
+af3df945b51f1f2623b755964a291621fedcf793 v0.8