--- a/.hgtags	Mon Sep 11 15:09:16 2017 +0200
+++ b/.hgtags	Mon Sep 11 15:09:16 2017 +0200
@@ -3,3 +3,4 @@
 dc24c94058dabb22fc2aa21bb53c97e7d49e91be 0.1.2
 874cc61186345a33878746fc6ecfe5540577650f 0.1.3
 9f478f30ad3eb362362c2358d6ad11a06231c8b7 0.1.4
+0e411b2c6501212b53bdfd30bc0c318b8dad3d24 0.1.5
changeset 40	71d4fd818c72
parent 34	350607d4de7e
child 43	b85795a019d1