--- a/.hgtags	Wed Jun 07 10:43:09 2017 +0200
+++ b/.hgtags	Wed Jun 07 10:43:15 2017 +0200
@@ -1,3 +1,4 @@
 86ddb444d0a97cc84f242065349093928015cc87 0.1.0
 2710a8dbfc973437793a16c08a7b25a9a5d9b6f3 0.1.1
 f022906f90ab829a9a8662c0be9d7b18b067bb98 0.1.2
+940234ecb095b0a316c0fd1689bceb02f944d02e 0.1.3