--- a/.hgtags Fri Dec 08 12:11:20 2017 +0100 +++ b/.hgtags Fri Dec 08 12:11:21 2017 +0100 @@ -1,3 +1,4 @@ 4bdc5043fd3da37a18c3471c1c448ff7bc3aa10b 0.1.0 6caf7ef43b2d8ff9d70d30b56c02a3c64f5d0ee8 0.1.1 27631588832b7e8f7bae54e1b68c53e1eb967469 0.1.2 +173d6e8e62e25d9365eabf3cd584beb44dc1a0ab 0.1.3