diff -r 000000000000 -r 644fd2ce2580 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed May 01 22:11:52 2019 +0200
@@ -0,0 +1,4 @@
+d5c5bd65f364c9096e03d66abe4f81c54448d5ca v0.8
+232540baef3c6c4a4ec4d57d47222a36b85ca197 v0.9
+4895c98a7d62bd029d9c3de81df8bf9b19cbfe5b v0.10
+09981db6ad87c9d9301bc4194abb8606dc133517 v0.11