From f2fea812a796875bb285c55bf0f61ca0d9b3faa0 Mon Sep 17 00:00:00 2001
From: Bram Moolenaar <bram@vim.org>
Date: Fri, 28 Jun 2013 20:36:31 +0200
Subject: [PATCH] Added tag v7-3-1257 for changeset 5751284311f3

---
 .hgtags | 1 +
 1 file changed, 1 insertion(+)

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