--- a/.hgtags	Fri Oct 05 15:06:14 2018 +0200
+++ b/.hgtags	Fri Oct 05 15:06:14 2018 +0200
@@ -3,3 +3,4 @@
 85506e4365c584b9fc497bf218499c989e2752a8 0.1.2
 0c3173d06f3f75a2c7a795917755c37afc1bb960 0.1.3
 0f5d1fa99b9fde7a20b54f57c0ed638580873a72 0.1.4
+deed98330eacb1fc0c6a00ff991942872a95fdc8 0.1.5
changeset 28	33311598e1ab
parent 24	986b5f85ecd4
child 37	38ec13042956