# HG changeset patch
# User Bram Moolenaar <bram@vim.org>
# Date 1429733902 -7200
# Node ID 18d84ed365a52397bacdbaa8bbbcd197976e299b
# Parent  f2a751a9ee727831e3f057f359ceab6ddc4ea183
Added tag v7-4-712 for changeset f2a751a9ee72

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -3434,3 +3434,4 @@ eb4b705a5d6a82f14dbf90022d8993c5db29033c
 c0bc9b60fb8aa73ec12e2c40852b0708bdc7fff8 v7-4-709
 a8962f0e0d349d2568799216739c4f50111e744c v7-4-710
 64a32aca791911f33d8efd1cfa5368ae26113b8c v7-4-711
+f2a751a9ee727831e3f057f359ceab6ddc4ea183 v7-4-712