# HG changeset patch # User Bram Moolenaar # Date 1353409386 -3600 # Node ID dbafa9387347009b98535b358588c1e3bc84720b # Parent 6a76846b84eb0fe1220f8cfa19b1161145932d4d Added tag v7-3-717 for changeset 6a76846b84eb diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -2053,3 +2053,4 @@ f15769bce0b811fc840fd455035270288e8d744d 9ea14f097855e0929f86c86d405725717efb044d v7-3-714 4f0ddf4137eeb08753f2593a32b42a1dcb1e6f4c v7-3-715 eb268db98f321b93f5e7552920b6389f9dddfd3f v7-3-716 +6a76846b84eb0fe1220f8cfa19b1161145932d4d v7-3-717