# HG changeset patch # User Bram Moolenaar # Date 1371991027 -7200 # Node ID c1942e6d39a0b299b0fa291b0a8d0283add468e1 # Parent 4ed713442c51625160cd0bca612d9a3417e4ba14 Added tag v7-3-1233 for changeset 4ed713442c51 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -2569,3 +2569,4 @@ b6e693e1f9461e5020e4cafa1c6e1de24776e11b f5c822e5a0eba6f490d0be9f6892de929295be87 v7-3-1230 537bbfff0c5c0bc2307a85133f59f07b00c55e41 v7-3-1231 a594ce86b5eade96cb84415b3b027abe611c2238 v7-3-1232 +4ed713442c51625160cd0bca612d9a3417e4ba14 v7-3-1233