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