# HG changeset patch # User Bram Moolenaar # Date 1547154007 -3600 # Node ID d927516e0c7f006e706bc07883fb65c48b595f7a # Parent cb1652e413149f5b9656c2f9590062f6693366a7 Added tag v8.1.0713 for changeset cb1652e413149f5b9656c2f9590062f6693366a7 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18356,3 +18356,4 @@ c17b5e30a0afa3b69e56e373db04b42bf330af28 440e5071f3f8cc8fec525c948dc4db491008dccb v8.1.0710 63b02fcf1361e57b2b558cc7f500fda150656766 v8.1.0711 cd1b393ddb5f4e47af505a095cecf6edae9a07ee v8.1.0712 +cb1652e413149f5b9656c2f9590062f6693366a7 v8.1.0713