# HG changeset patch # User Bram Moolenaar # Date 1586115926 -7200 # Node ID cc6243727bd6da9949d2d101b8c92ff1aad2b208 # Parent 1f42c49c3d299fbba72bb561650816c97ab960cd Added tag v8.2.0517 for changeset 1f42c49c3d299fbba72bb561650816c97ab960cd diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20570,3 +20570,4 @@ 6babfd2d15e91b8ea318762f349b5d711282c6f1 dcec86d796bcac08c12ffaa351abd680fcaae4e6 v8.2.0514 ccfeae6af59e1a47181dfef2fe7946968634e523 v8.2.0515 5e41b2e63c73807243682b7ed02210d500e852f6 v8.2.0516 +1f42c49c3d299fbba72bb561650816c97ab960cd v8.2.0517