diff -r f71fb1a281ef -r 73237c888f18 .hgtags
--- a/.hgtags	Fri Nov 30 14:44:01 2018 +0100
+++ b/.hgtags	Fri Nov 30 14:44:01 2018 +0100
@@ -11,3 +11,4 @@
 10c30486edcf7ca3f276a63accfe09949c1619ba 0.1.10
 601d0dd8bbdeb0d8ee38b9708301ca78c5822c27 0.1.11
 4925a9f3a985eff39470602721286b4dc56b1166 0.1.12
+f71fb1a281efa3a04b1d17fdd435911d9742d0dd 0.1.13