# HG changeset patch # User Bram Moolenaar # Date 1600624868 -7200 # Node ID ca6d4f7199a9c0166eff8e0d28050d334970d9e4 # Parent 858d7ceb1135eee152c3bf071aabababdb8af28c Added tag v8.2.1713 for changeset 858d7ceb1135eee152c3bf071aabababdb8af28c diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -21760,3 +21760,4 @@ 663cba20a5a57c66de1bc330f02810af27bae302 a5b16c9eee9db03f6ce938338d4cf267d9bbca53 v8.2.1710 a4ed0de125d9f358bd30d26a8aab30b6b845da15 v8.2.1711 fb69b43d73f3d45623b45761f418a14be27fe35d v8.2.1712 +858d7ceb1135eee152c3bf071aabababdb8af28c v8.2.1713