diff --git a/.hgtags b/.hgtags
index 1474a4ca42..8a78bc2f24 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2593,3 +2593,4 @@ d6a7dea44a8667d834e463b8658cf85ea938112d v7-3-1253
 5eff37e92f03771aee77a3688d79a73e5b6107e9 v7-3-1254
 f8d307ebd74a4097f7083ea8117be0433f00c7ce v7-3-1255
 322441058afca6a8aa52d34eda9fa307608354d3 v7-3-1256
+5751284311f37399cb7a66d99fe317de4ae86ea9 v7-3-1257