From cf2b5cb7542e7aecd127a29f84eea6db0623fd1c Mon Sep 17 00:00:00 2001
From: Bram Moolenaar <bram@vim.org>
Date: Wed, 14 Nov 2012 22:38:08 +0100
Subject: [PATCH] Added tag v7-3-715 for changeset 4f0ddf4137ee

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

diff --git a/.hgtags b/.hgtags
index 3585b9db62..96f6a7aef0 100644
--- a/.hgtags
+++ b/.hgtags
@@ -2051,3 +2051,4 @@ fb7dec372910b61478abdd7f79871724153ebfdd v7-3-709
 557ef119999ea687ccb84eddca295755c24989da v7-3-712
 f15769bce0b811fc840fd455035270288e8d744d v7-3-713
 9ea14f097855e0929f86c86d405725717efb044d v7-3-714
+4f0ddf4137eeb08753f2593a32b42a1dcb1e6f4c v7-3-715