# HG changeset patch # User Bram Moolenaar # Date 1600533004 -7200 # Node ID 701d200ab63c79d80c40677f5d5bbf3e73ba2e8d # Parent fb69b43d73f3d45623b45761f418a14be27fe35d Added tag v8.2.1712 for changeset fb69b43d73f3d45623b45761f418a14be27fe35d diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -21759,3 +21759,4 @@ 3f5f96a8dd83a58385c560155150e02ca3aef3ae 663cba20a5a57c66de1bc330f02810af27bae302 v8.2.1709 a5b16c9eee9db03f6ce938338d4cf267d9bbca53 v8.2.1710 a4ed0de125d9f358bd30d26a8aab30b6b845da15 v8.2.1711 +fb69b43d73f3d45623b45761f418a14be27fe35d v8.2.1712