--- a/.hgtags	Fri Oct 06 09:41:42 2017 +0200
+++ b/.hgtags	Fri Oct 06 09:41:59 2017 +0200
@@ -1,3 +1,4 @@
 10812b2ba33a9a0c7836bf9e4c4e5842d2de4f39 0.1.0
 8655f210ddc5cac70d810d5e13ccb9b64347b209 0.1.1
 365da6d54a0954605aa929ba0508365686f70844 0.1.2
+8dba3d0aac035a405ebbfa9ce6e91b9919938799 0.1.3