# HG changeset patch # User Bram Moolenaar # Date 1547208907 -3600 # Node ID 50a5ad0008456cf47dbc1da93c2fd8bae880d2ee # Parent 5f8ddd2a7b926630b755b7171334ac4e322bf012 Added tag v8.1.0716 for changeset 5f8ddd2a7b926630b755b7171334ac4e322bf012 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18359,3 +18359,4 @@ cd1b393ddb5f4e47af505a095cecf6edae9a07ee cb1652e413149f5b9656c2f9590062f6693366a7 v8.1.0713 2ba09a55bee6576310617cb748284f41647938a0 v8.1.0714 d7432dcb6b7cb0f6e03fd0286531740a6f933da7 v8.1.0715 +5f8ddd2a7b926630b755b7171334ac4e322bf012 v8.1.0716