# HG changeset patch # User Bram Moolenaar # Date 1563479107 -7200 # Node ID d13620591637134161f04e80e5e25f2b689cd1f0 # Parent ce35cdbe9f749f1113f5ede3f6c08668e3da4e1d Added tag v8.1.1714 for changeset ce35cdbe9f749f1113f5ede3f6c08668e3da4e1d diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19351,3 +19351,4 @@ ae11ab022b02663576c7b2708bc71fc3db4c3496 6580e2dfcaebc20bded3f9710539afd0054703af v8.1.1711 45c1dc3533217d04e4fcf95083009c14af8fc1e4 v8.1.1712 6e756ad5ef1a486aa11ba0305dd3990dc739c066 v8.1.1713 +ce35cdbe9f749f1113f5ede3f6c08668e3da4e1d v8.1.1714