--- a/.hgtags Mon Sep 11 15:06:26 2017 +0200 +++ b/.hgtags Mon Sep 11 15:06:26 2017 +0200 @@ -1,2 +1,3 @@ 09387489ec240feaadce5565e05a4f7a3c55303d 0.1.1 dfb0c634ee79e7246779ecf0ad92bb3d3ee3ae29 0.1.2 +4b7b518e1fb955127fc9fbe59663f7dccd103f85 0.1.3