# HG changeset patch # User Bram Moolenaar # Date 1563570907 -7200 # Node ID a7a08085d1dc7729b395dd74c6cb5e22a6cb721f # Parent 26e8d42987ca9a34896db62ec401453a173e110f Added tag v8.1.1715 for changeset 26e8d42987ca9a34896db62ec401453a173e110f diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19352,3 +19352,4 @@ 6580e2dfcaebc20bded3f9710539afd0054703af 45c1dc3533217d04e4fcf95083009c14af8fc1e4 v8.1.1712 6e756ad5ef1a486aa11ba0305dd3990dc739c066 v8.1.1713 ce35cdbe9f749f1113f5ede3f6c08668e3da4e1d v8.1.1714 +26e8d42987ca9a34896db62ec401453a173e110f v8.1.1715