diff .hgtags @ 5140:72bd085c607b

Added tag v7-3-1312 for changeset 80bab8b1a30d
author Bram Moolenaar <bram@vim.org>
date Sat, 06 Jul 2013 13:02:30 +0200
parents b20023872e3e
children 1e1d6c9607d2
line wrap: on
line diff
--- 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