--- a/.hgtags	Tue Jun 27 13:20:54 2017 +0200
+++ b/.hgtags	Tue Jun 27 13:22:49 2017 +0200
@@ -1,3 +1,4 @@
 186ad038b0d9e78e2d7528bae1f19f1a11c7396e 0.1.0
 bc0c0e883c3edcfee61025da1d511b3c89857cb9 0.1.1
 4d3cdf2098e3a3a728c05e1ea4f132d08286b521 0.1.2
+7351bfe5a572aae2bec0cab8f42e5b48ca87da37 0.1.3