# HG changeset patch # User Bram Moolenaar # Date 1563628507 -7200 # Node ID 8be5444ee2cbb5b2dbbac22e96f3ec1280186b3e # Parent 967e2ee9b656206e39b33e6d10aab417f930b1b0 Added tag v8.1.1717 for changeset 967e2ee9b656206e39b33e6d10aab417f930b1b0 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19354,3 +19354,4 @@ 6e756ad5ef1a486aa11ba0305dd3990dc739c066 ce35cdbe9f749f1113f5ede3f6c08668e3da4e1d v8.1.1714 26e8d42987ca9a34896db62ec401453a173e110f v8.1.1715 e1b5c15f5fee70aaa68aa8286030cf713a403aee v8.1.1716 +967e2ee9b656206e39b33e6d10aab417f930b1b0 v8.1.1717