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