# HG changeset patch # User Bram Moolenaar # Date 1638380703 -3600 # Node ID a9d498b069f36b8e8568ec1f5f544eaa10973aa3 # Parent f5727e2603f08b8063f2b1e1eaa09cd2478ae899 Added tag v8.2.3717 for changeset f5727e2603f08b8063f2b1e1eaa09cd2478ae899 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -23751,3 +23751,4 @@ baf0d27eb0246dea8157d24e7bf999ce6567687b d227481dbe8eb01cb3b1911bbfc4782ea23baefe v8.2.3714 744fdb15347d8f218768801ff5dbdc4c2bd5bcd8 v8.2.3715 a3a0885d9dd8edcb1c2c90fd1b6fddabed5451c5 v8.2.3716 +f5727e2603f08b8063f2b1e1eaa09cd2478ae899 v8.2.3717