# HG changeset patch # User Bram Moolenaar # Date 1352913056 -3600 # Node ID 51ba8061b6d239c61fe7e6ec5c82580a0e7ed412 # Parent f15769bce0b811fc840fd455035270288e8d744d Added tag v7-3-713 for changeset f15769bce0b8 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -2049,3 +2049,4 @@ fb7dec372910b61478abdd7f79871724153ebfdd 906eb5c0ef129b6876fa9c6c5a13e44807f7a503 v7-3-710 2a7b2943be22c27edb3c0334423c1b17275f18fb v7-3-711 557ef119999ea687ccb84eddca295755c24989da v7-3-712 +f15769bce0b811fc840fd455035270288e8d744d v7-3-713