diff -r afdaa2c417c1 -r a80822efae47 .hgtags
--- a/.hgtags	Fri Dec 07 16:12:16 2018 +0100
+++ b/.hgtags	Fri Dec 07 16:12:16 2018 +0100
@@ -12,3 +12,4 @@
 601d0dd8bbdeb0d8ee38b9708301ca78c5822c27 0.1.11
 4925a9f3a985eff39470602721286b4dc56b1166 0.1.12
 f71fb1a281efa3a04b1d17fdd435911d9742d0dd 0.1.13
+afdaa2c417c1cad1f33dda380cab648a3ced9022 0.1.13.1