--- a/.hgtags	Tue Mar 20 17:40:44 2018 +0100
+++ b/.hgtags	Tue Mar 20 17:40:45 2018 +0100
@@ -3,3 +3,4 @@
 d56eef10d01a895a14c063c05e726f18cfdf7e51 0.1.2
 296bbb469ca44d6c0c35968742d097df6fc5b72d 0.1.3
 2217a4d1dde9cadf0b8f416bdfb233c18f12ba58 0.1.4
+7b2902f6f8496c980b9336bc31ae73ccb6dba86e 0.1.5
changeset 42	de21f1dcf22a
parent 32	356129b1e100
child 45	dd396a91bb94