diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -41,3 +41,4 @@ 6a517543ea9ef9987d74371bd2a315eb0b232dc9
 7fc0731b024c3114be87865eda7ab621cc957e32 v4.12.3
 6d531c0b068c6eda62dddceedc9f845ecb6feb6f v4.12.4
 3d6bf2d81b1564830eb5e83396110d2a9a93eb1e v4.13.0
+5468fc89e708bd90e413cd0d54350017abbdbc0e v4.13.1