--- a/.hgtags	Wed Jun 07 10:57:27 2017 +0200
+++ b/.hgtags	Wed Jun 07 10:57:34 2017 +0200
@@ -1,3 +1,4 @@
 41b551f84e900a2210eaee2269e4e6e68e677519 0.1.0
 b3155bf5858e67919d34de5bf11e131fed2a292e 0.1.1
 00269ed7ab5ef8783f2c587c90c04ff760657c60 0.1.2
+fc5c69dafa534615558b313506c19867ecc7370b 0.1.3