--- 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