# HG changeset patch # User Bram Moolenaar # Date 1547072106 -3600 # Node ID 400233bbf952992292d6abd553ee638c5738a7a3 # Parent cd1b393ddb5f4e47af505a095cecf6edae9a07ee Added tag v8.1.0712 for changeset cd1b393ddb5f4e47af505a095cecf6edae9a07ee diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18355,3 +18355,4 @@ ac5542aadd9c75c152de6263b91e6d1aa68f020b c17b5e30a0afa3b69e56e373db04b42bf330af28 v8.1.0709 440e5071f3f8cc8fec525c948dc4db491008dccb v8.1.0710 63b02fcf1361e57b2b558cc7f500fda150656766 v8.1.0711 +cd1b393ddb5f4e47af505a095cecf6edae9a07ee v8.1.0712