--- 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