# HG changeset patch # User Bram Moolenaar # Date 1556824505 -7200 # Node ID 08a98bd701fde4b09a5aac4ef08f3229422aceb6 # Parent a4732cdcfaaffa710a5de1c77d736d67c1b81a72 Added tag v8.1.1247 for changeset a4732cdcfaaffa710a5de1c77d736d67c1b81a72 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18885,3 +18885,4 @@ 7dcf301d14326dedf996c93f16a71bc58dcaf2a5 8428e0edba1b7a4a85c68e5a6c8ae0eeccf99e28 v8.1.1244 393dd420a753ca184be7999ad8a419d0db295604 v8.1.1245 b870146e09e1feccf31b43711f67180450a6eb79 v8.1.1246 +a4732cdcfaaffa710a5de1c77d736d67c1b81a72 v8.1.1247