diff -r 878dc60b70fd -r 688aa8041b11 .hgtags
--- a/.hgtags	Fri Jan 11 13:16:59 2019 +0100
+++ b/.hgtags	Fri Jan 11 13:16:59 2019 +0100
@@ -12,3 +12,4 @@
 a365381bca2377db74ca4fa914db35a0f3e01736 0.1.11
 de60c82453503dcfc6b460965e835e422c6aa360 0.1.12
 14ddc993f30b6febc80e759c602e24c096ece750 0.1.12.1
+878dc60b70fd8935eebe3869d0de4a05e6786a5f 0.1.13