# HG changeset patch # User Bram Moolenaar # Date 1547231407 -3600 # Node ID 85ab9a28878440fc06ae478ef9fa6604a3033552 # Parent b10ce9e77128e8a73195f655736a0702d6ec194d Added tag v8.1.0724 for changeset b10ce9e77128e8a73195f655736a0702d6ec194d diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18367,3 +18367,4 @@ 90c8ff9c19ee64f8a3e457f4585410cf018f6f7e 8b78878311e07bcfa1a02ed2d6a936efe938bbc0 v8.1.0721 eae582bfb293d3cfeadd2f56cd20a068eda3acfe v8.1.0722 d94901eeb762565a86dd9d45df13c669913a0231 v8.1.0723 +b10ce9e77128e8a73195f655736a0702d6ec194d v8.1.0724