diff --git a/.hgtags b/.hgtags
index d939ccd604..0b02bd3d1e 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2664,3 +2664,4 @@ b3bd43ef012d975cafb7b2a4c41fb78486ee4cc0 v7-4a-008
 a4e08386a6aa29c5e58302f1650fa2ad3f03b76b v7-4a-010
 ce587b26b8d6bec140af41712bb99c4c73c3bf99 v7-4a-011
 fca6ba0d2d66d38da8ae023e73944a69662c0d66 v7-4a-012
+42d592dbbec3706429e3f3f75c9c394db6b9c1bd v7-4a-013