# HG changeset patch # User Bram Moolenaar # Date 1547204411 -3600 # Node ID ac4c62bf5b1b43034eb2ff7d32a16e7c17913351 # Parent d7432dcb6b7cb0f6e03fd0286531740a6f933da7 Added tag v8.1.0715 for changeset d7432dcb6b7cb0f6e03fd0286531740a6f933da7 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18358,3 +18358,4 @@ 63b02fcf1361e57b2b558cc7f500fda150656766 cd1b393ddb5f4e47af505a095cecf6edae9a07ee v8.1.0712 cb1652e413149f5b9656c2f9590062f6693366a7 v8.1.0713 2ba09a55bee6576310617cb748284f41647938a0 v8.1.0714 +d7432dcb6b7cb0f6e03fd0286531740a6f933da7 v8.1.0715