# HG changeset patch # User Bram Moolenaar # Date 1547072105 -3600 # Node ID d6076c46818f4fb556c4bdcbe5413a0d3f049016 # Parent 63b02fcf1361e57b2b558cc7f500fda150656766 Added tag v8.1.0711 for changeset 63b02fcf1361e57b2b558cc7f500fda150656766 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18354,3 +18354,4 @@ 3e02464faaac2ef6983184c904ddb6c852492b24 ac5542aadd9c75c152de6263b91e6d1aa68f020b v8.1.0708 c17b5e30a0afa3b69e56e373db04b42bf330af28 v8.1.0709 440e5071f3f8cc8fec525c948dc4db491008dccb v8.1.0710 +63b02fcf1361e57b2b558cc7f500fda150656766 v8.1.0711