# HG changeset patch
# User Bram Moolenaar <bram@vim.org>
# Date 1430763562 -7200
# Node ID a784dfdc4467b15a07db2bc131bf7efcf3750c33
# Parent  399216850e36de4c7826e2b02a9a0cca10ea54c4
Added tag v7-4-725 for changeset 399216850e36

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -3447,3 +3447,4 @@ 45d3208c875400a62f47c57ee208a667faf6643b
 47ebd4065059b6836f02338ae951c020f16afb0c v7-4-722
 8accadbf0cbd9eaa80173c9df96f84c123da036a v7-4-723
 81cb471657e0354e8abcc013fea4569a38ce9b17 v7-4-724
+399216850e36de4c7826e2b02a9a0cca10ea54c4 v7-4-725