# HG changeset patch # User Bram Moolenaar # Date 1563571805 -7200 # Node ID 5f71f12bdb8c2ada5587d6d9b18461dfd5727f9f # Parent e1b5c15f5fee70aaa68aa8286030cf713a403aee Added tag v8.1.1716 for changeset e1b5c15f5fee70aaa68aa8286030cf713a403aee diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19353,3 +19353,4 @@ 45c1dc3533217d04e4fcf95083009c14af8fc1e4 6e756ad5ef1a486aa11ba0305dd3990dc739c066 v8.1.1713 ce35cdbe9f749f1113f5ede3f6c08668e3da4e1d v8.1.1714 26e8d42987ca9a34896db62ec401453a173e110f v8.1.1715 +e1b5c15f5fee70aaa68aa8286030cf713a403aee v8.1.1716