# HG changeset patch # User Bram Moolenaar # Date 1353430510 -3600 # Node ID b1b18442cf4bedba73626888b9c1e8aa9f6f3c54 # Parent f4aa43d952f5bacc752951c80495fd20c72ba90c Added tag v7-3-725 for changeset f4aa43d952f5 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -2061,3 +2061,4 @@ b23f583e132e88ec98f2b449b7216642ba64a8a8 de6968039340db04ec65164a3450a40773488e00 v7-3-722 ee138f29259e02f62fe8181073e7a063523e50b8 v7-3-723 6e5acfdf7a5a2b3fa27a529881af77c1e1b1c0f7 v7-3-724 +f4aa43d952f5bacc752951c80495fd20c72ba90c v7-3-725