# HG changeset patch
# User Bram Moolenaar <bram@vim.org>
# Date 1350963334 -7200
# Node ID 57e8b75298d6b6e9ef899af66c79a22cb6334988
# Parent  557ef119999ea687ccb84eddca295755c24989da
Added tag v7-3-712 for changeset 557ef119999e

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -2048,3 +2048,4 @@ 64427849c1582299f2af389c6225eead529f0329
 fb7dec372910b61478abdd7f79871724153ebfdd v7-3-709
 906eb5c0ef129b6876fa9c6c5a13e44807f7a503 v7-3-710
 2a7b2943be22c27edb3c0334423c1b17275f18fb v7-3-711
+557ef119999ea687ccb84eddca295755c24989da v7-3-712