diff --git a/.hgtags b/.hgtags
index 416c03978e..fce339f253 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2048,3 +2048,4 @@ d24d309c365fc5c6a9324a6183d7b927d9f5132f v7-3-707
 fb7dec372910b61478abdd7f79871724153ebfdd v7-3-709
 906eb5c0ef129b6876fa9c6c5a13e44807f7a503 v7-3-710
 2a7b2943be22c27edb3c0334423c1b17275f18fb v7-3-711
+557ef119999ea687ccb84eddca295755c24989da v7-3-712