--- a/.hgtags Tue Sep 19 11:32:14 2017 +0200 +++ b/.hgtags Tue Sep 19 11:32:15 2017 +0200 @@ -1,2 +1,3 @@ 842ab9ef3982fb9e5a3d59c62015c72f78defa36 0.1.0 a6c84f9c03d3fdcff019e017e3afa45c4b73db19 0.1.1 +85506e4365c584b9fc497bf218499c989e2752a8 0.1.2