--- a/.hgtags Fri Jun 02 16:52:04 2017 +0200 +++ b/.hgtags Fri Jun 02 16:52:35 2017 +0200 @@ -1,3 +1,4 @@ e4f314a62bbff91aa6f578b898ba355b47e8cd70 0.1.0 135175714f86093244119bf49ea944b5349dc858 0.1.1 ad4d84ea212e2dfa8a3ddaf4ea04178f90392ddc 0.1.2 +20da2f40949b712359177126a11785b0bc34e848 0.1.3