--- a/.hgtags	Tue Oct 23 12:23:07 2018 +0200
+++ b/.hgtags	Tue Oct 23 12:23:07 2018 +0200
@@ -10,3 +10,4 @@
 58b69fca70698e5d62e6c22bb1448d7ce90d794f 0.1.9
 35c64c85e5f5a25650556866f1de65b541df1f5f 0.1.10
 0969adf1a96889be967244aa589fe1370fc340c7 0.1.11
+77c839e343af9dd19f69c7491307d645b919db7c 0.1.12