--- a/.hgtags Thu Jul 13 11:02:26 2017 +0200 +++ b/.hgtags Thu Jul 13 11:02:26 2017 +0200 @@ -1,1 +1,2 @@ 09387489ec240feaadce5565e05a4f7a3c55303d 0.1.1 +dfb0c634ee79e7246779ecf0ad92bb3d3ee3ae29 0.1.2