# HG changeset patch # User Bram Moolenaar # Date 1589058005 -7200 # Node ID f36a7f769ba4c27d78514cda62f498ed97f3a996 # Parent 7587d892c00c084568bdc8992a744ff7a544747b Added tag v8.2.0725 for changeset 7587d892c00c084568bdc8992a744ff7a544747b diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20775,3 +20775,4 @@ a7dbf32b5cc058e90d40a7c44811db15ab05f225 a407e243c55c7b4f70a2d315eed05bd6a03b929a v8.2.0721 b774655968b4397842aeca1e28def1ede1b80085 v8.2.0722 2fd980fb9ab39d9d39f448ad00d209a3352f1729 v8.2.0723 +7587d892c00c084568bdc8992a744ff7a544747b v8.2.0725