diff --git a/.hgtags b/.hgtags
index bc7dd1f524..ccb8a20d56 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2616,3 +2616,4 @@ d2f9f67924e77ec3d90164dd6ff2e50c5107faf0 v7-3-1276
 6a7ae677d6a1f116b685fa0f892052e20003eaad v7-3-1277
 cf52d2a8c05cd037c049abef0f58fd918146f3bb v7-3-1278
 cca600e6092839efeb3795db863916959921bb0e v7-3-1279
+1cacf785299e771ca463c493c8c870e395c09cd0 v7-3-1280