# HG changeset patch # User Bram Moolenaar # Date 1638351007 -3600 # Node ID 93ab37175d0cf193645acb28a1d56244840a873c # Parent 80b555c4aed05abc0de464fcfea02d2289e2fcc9 Added tag v8.2.3710 for changeset 80b555c4aed05abc0de464fcfea02d2289e2fcc9 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -23744,3 +23744,4 @@ 13cce5c82c9a5c0ca0a9569a819bebf59156d859 f209f28ad8980ea8b34cd5fc62cc2d9f8d369a7f v8.2.3707 7e7d0e01a2d053569aa51eaa95cd41b83f88aad8 v8.2.3708 0884f2be6c2a00b4696d6001b4405286b7b1abe0 v8.2.3709 +80b555c4aed05abc0de464fcfea02d2289e2fcc9 v8.2.3710