# HG changeset patch
# User Bram Moolenaar <Bram@vim.org>
# Date 1547235906 -3600
# Node ID 739e0917d0b6406cac9ecc3a27de9867611de322
# Parent  80e79573dd6eab638e441f337fa3a48bae3f0270
Added tag v8.1.0725 for changeset 80e79573dd6eab638e441f337fa3a48bae3f0270

diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -18368,3 +18368,4 @@ 8b78878311e07bcfa1a02ed2d6a936efe938bbc0
 eae582bfb293d3cfeadd2f56cd20a068eda3acfe v8.1.0722
 d94901eeb762565a86dd9d45df13c669913a0231 v8.1.0723
 b10ce9e77128e8a73195f655736a0702d6ec194d v8.1.0724
+80e79573dd6eab638e441f337fa3a48bae3f0270 v8.1.0725