# HG changeset patch # User Bram Moolenaar # Date 1638355503 -3600 # Node ID 44a6acdbdbfe7daee2051a62d85f4f4c2c0fede4 # Parent dbe615b75f157fee718e0d29cca7a37348f5b88b Added tag v8.2.3712 for changeset dbe615b75f157fee718e0d29cca7a37348f5b88b diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -23746,3 +23746,4 @@ 7e7d0e01a2d053569aa51eaa95cd41b83f88aad8 0884f2be6c2a00b4696d6001b4405286b7b1abe0 v8.2.3709 80b555c4aed05abc0de464fcfea02d2289e2fcc9 v8.2.3710 a5dac0a9aa5fc493c42d06f070f232771b3cef80 v8.2.3711 +dbe615b75f157fee718e0d29cca7a37348f5b88b v8.2.3712