From d451d868920f71ea32257f4c1a564983db4f6a2c Mon Sep 17 00:00:00 2001
From: Bram Moolenaar <bram@vim.org>
Date: Tue, 20 Nov 2012 12:03:06 +0100
Subject: [PATCH] Added tag v7-3-717 for changeset 6a76846b84eb

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

diff --git a/.hgtags b/.hgtags
index 47e2ccaef6..2e908be16f 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2053,3 +2053,4 @@ f15769bce0b811fc840fd455035270288e8d744d v7-3-713
 9ea14f097855e0929f86c86d405725717efb044d v7-3-714
 4f0ddf4137eeb08753f2593a32b42a1dcb1e6f4c v7-3-715
 eb268db98f321b93f5e7552920b6389f9dddfd3f v7-3-716
+6a76846b84eb0fe1220f8cfa19b1161145932d4d v7-3-717