# HG changeset patch # User Bram Moolenaar # Date 1563711307 -7200 # Node ID 15078662cd76e168ded643ac0e54d2c268b8fe89 # Parent 509542f1fffbdbc115d56ed18e3016cf50ffda31 Added tag v8.1.1723 for changeset 509542f1fffbdbc115d56ed18e3016cf50ffda31 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19360,3 +19360,4 @@ 57b9fca8c7d2fcd2a4ec19543952228391d5fbf2 f4ce361bb1e53d7b1341dab487550b74a8d07086 v8.1.1720 dcc4120f841294dfadbc2c59e479a669410474b5 v8.1.1721 f8cd168384346d0312679ca94c847685a6dc6318 v8.1.1722 +509542f1fffbdbc115d56ed18e3016cf50ffda31 v8.1.1723