diff --git a/.hgtags b/.hgtags
index f6e4c5f9c6..8a397168ea 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2061,3 +2061,4 @@ b23f583e132e88ec98f2b449b7216642ba64a8a8 v7-3-721
 de6968039340db04ec65164a3450a40773488e00 v7-3-722
 ee138f29259e02f62fe8181073e7a063523e50b8 v7-3-723
 6e5acfdf7a5a2b3fa27a529881af77c1e1b1c0f7 v7-3-724
+f4aa43d952f5bacc752951c80495fd20c72ba90c v7-3-725