--- a/.hgtags Tue Jun 06 17:05:23 2017 +0200 +++ b/.hgtags Tue Jun 06 17:05:31 2017 +0200 @@ -1,3 +1,4 @@ e31e81bcf6dd04498f1d7baf50e16bfbf000427b 0.1.0 09490b1b9bab18e0c381174f11ff3af532e24d97 0.1.1 551c55958cf3e9696c71445d55089fc21a9ed4fa 0.1.2 +f3f2a1e1f3bbbf496e09ee3163609ae4d2764ce1 0.1.3