# HG changeset patch # User Bram Moolenaar # Date 1547157607 -3600 # Node ID aeee555c8b0d73253f87671f0ef01de4fc5bceaa # Parent 2ba09a55bee6576310617cb748284f41647938a0 Added tag v8.1.0714 for changeset 2ba09a55bee6576310617cb748284f41647938a0 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18357,3 +18357,4 @@ 440e5071f3f8cc8fec525c948dc4db491008dccb 63b02fcf1361e57b2b558cc7f500fda150656766 v8.1.0711 cd1b393ddb5f4e47af505a095cecf6edae9a07ee v8.1.0712 cb1652e413149f5b9656c2f9590062f6693366a7 v8.1.0713 +2ba09a55bee6576310617cb748284f41647938a0 v8.1.0714