# HG changeset patch # User Bram Moolenaar # Date 1547225105 -3600 # Node ID bab1e9e00aacb055f1f13064282d2dfe0f08868f # Parent d94901eeb762565a86dd9d45df13c669913a0231 Added tag v8.1.0723 for changeset d94901eeb762565a86dd9d45df13c669913a0231 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18366,3 +18366,4 @@ b55b89692fd2c40069a728893fdbdedf026cee44 90c8ff9c19ee64f8a3e457f4585410cf018f6f7e v8.1.0720 8b78878311e07bcfa1a02ed2d6a936efe938bbc0 v8.1.0721 eae582bfb293d3cfeadd2f56cd20a068eda3acfe v8.1.0722 +d94901eeb762565a86dd9d45df13c669913a0231 v8.1.0723