diff -r 7473a337e1ce -r d54f373cd9c4 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Fri Jan 18 20:26:30 2019 +0100
@@ -0,0 +1,1 @@
+7473a337e1ced0442bdfcffe50f8f22c711e8706 v0.9