# HG changeset patch # User Bram Moolenaar # Date 1638362703 -3600 # Node ID da56c576e58351264e3ddf72ea9936d4e3eb29e2 # Parent 744fdb15347d8f218768801ff5dbdc4c2bd5bcd8 Added tag v8.2.3715 for changeset 744fdb15347d8f218768801ff5dbdc4c2bd5bcd8 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -23749,3 +23749,4 @@ a5dac0a9aa5fc493c42d06f070f232771b3cef80 dbe615b75f157fee718e0d29cca7a37348f5b88b v8.2.3712 baf0d27eb0246dea8157d24e7bf999ce6567687b v8.2.3713 d227481dbe8eb01cb3b1911bbfc4782ea23baefe v8.2.3714 +744fdb15347d8f218768801ff5dbdc4c2bd5bcd8 v8.2.3715