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