diff -r b5239b4b345b -r 12b69d6b2875 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Mon Apr 08 13:37:11 2019 +0200
@@ -0,0 +1,1 @@
+b5239b4b345b792d11c0953d9c009e93d85c7ef5 v0.11