# HG changeset patch # User Bram Moolenaar # Date 1547210707 -3600 # Node ID 74088e9d6b52e8c925a21a394025575f3c2b8a43 # Parent 51b3c36b052384819a4b1e2a51fa964e2158ec7b Added tag v8.1.0717 for changeset 51b3c36b052384819a4b1e2a51fa964e2158ec7b diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18360,3 +18360,4 @@ cb1652e413149f5b9656c2f9590062f6693366a7 2ba09a55bee6576310617cb748284f41647938a0 v8.1.0714 d7432dcb6b7cb0f6e03fd0286531740a6f933da7 v8.1.0715 5f8ddd2a7b926630b755b7171334ac4e322bf012 v8.1.0716 +51b3c36b052384819a4b1e2a51fa964e2158ec7b v8.1.0717