# HG changeset patch # User Bram Moolenaar # Date 1373108550 -7200 # Node ID 72bd085c607b8c457bb9ec08cae5ce173dccd89b # Parent 80bab8b1a30db72b7eda880b0442ab0b0f4a1611 Added tag v7-3-1312 for changeset 80bab8b1a30d diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -2648,3 +2648,4 @@ 71e066e10a4789eeb9553aa08f9ca8e7eec96532 a686295448918b7066bc52e3fd9748e6702c2219 v7-3-1309 b49784c49d537fabe083cc3f8cc460629bb6957f v7-3-1310 28e6f5f889683fe161b7bc260bd02b742157fc5b v7-3-1311 +80bab8b1a30db72b7eda880b0442ab0b0f4a1611 v7-3-1312