# HG changeset patch # User Bram Moolenaar # Date 1563715805 -7200 # Node ID 4ae435e2132625178deb707535d4f8ae5fa83719 # Parent 37afc0146eabc02067d59e8ee1dad15a9bd6963e Added tag v8.1.1725 for changeset 37afc0146eabc02067d59e8ee1dad15a9bd6963e diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -19362,3 +19362,4 @@ dcc4120f841294dfadbc2c59e479a669410474b5 f8cd168384346d0312679ca94c847685a6dc6318 v8.1.1722 509542f1fffbdbc115d56ed18e3016cf50ffda31 v8.1.1723 f12745505a236d699e6b1ea59341fae80f98c291 v8.1.1724 +37afc0146eabc02067d59e8ee1dad15a9bd6963e v8.1.1725