# HG changeset patch # User Bram Moolenaar # Date 1589033704 -7200 # Node ID 85b7b3c3e19a7668873f8eb52326acedf1c17c66 # Parent a7dbf32b5cc058e90d40a7c44811db15ab05f225 Added tag v8.2.0720 for changeset a7dbf32b5cc058e90d40a7c44811db15ab05f225 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20771,3 +20771,4 @@ a3e78893a90b36b935cada9c082bcd5de270ee96 23188ef99fc22cf781c71e936f0165122de7e897 v8.2.0717 74002d42dda0dc35eaf744b2beaf4c0c63d4059c v8.2.0718 445c2b2ea44bdb591909d7159147730fba2bf3da v8.2.0719 +a7dbf32b5cc058e90d40a7c44811db15ab05f225 v8.2.0720