diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -41,3 +41,4 @@ 346f04fc8a18df3235defbe6e71bd552c0d46481
 764fdd752322f3e0c13ea00957f2d548bf4363a7 v4.12.3
 b58038974a5cecbb9c100d32ad2e4c68582f1a78 v4.12.4
 e1d42d92a0fec0c80b56c82f37bc7b5472613706 v4.13.0
+c3ded3ff17e9bb2a47002a808984a7a946f58a1c v4.13.1