--- a/.hgtags	Wed Jul 12 17:46:40 2017 +0200
+++ b/.hgtags	Wed Jul 12 17:46:40 2017 +0200
@@ -2,3 +2,4 @@
 21b836971c5667949828b6c37221a20cd8729976 0.1.1
 dc24c94058dabb22fc2aa21bb53c97e7d49e91be 0.1.2
 874cc61186345a33878746fc6ecfe5540577650f 0.1.3
+9f478f30ad3eb362362c2358d6ad11a06231c8b7 0.1.4
changeset 34	350607d4de7e
parent 29	265cbf1a941e
child 40	71d4fd818c72