# HG changeset patch # User Bram Moolenaar # Date 1638356406 -3600 # Node ID 9722ad38bd53fdbc5cdd4fd91b3a6ada15b074ef # Parent baf0d27eb0246dea8157d24e7bf999ce6567687b Added tag v8.2.3713 for changeset baf0d27eb0246dea8157d24e7bf999ce6567687b diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -23747,3 +23747,4 @@ 0884f2be6c2a00b4696d6001b4405286b7b1abe0 80b555c4aed05abc0de464fcfea02d2289e2fcc9 v8.2.3710 a5dac0a9aa5fc493c42d06f070f232771b3cef80 v8.2.3711 dbe615b75f157fee718e0d29cca7a37348f5b88b v8.2.3712 +baf0d27eb0246dea8157d24e7bf999ce6567687b v8.2.3713