# HG changeset patch # User Bram Moolenaar # Date 1588958104 -7200 # Node ID c3bf737ec527e290ab2367e69f4dfadc4eb97baf # Parent 23188ef99fc22cf781c71e936f0165122de7e897 Added tag v8.2.0717 for changeset 23188ef99fc22cf781c71e936f0165122de7e897 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20768,3 +20768,4 @@ 190ffc6453d47862b11ddbd638be48eb63354478 3cbcee39fc5c4d1ce0252d4dff7199be1ef783be v8.2.0714 e501e32a892f57884441097196a4ea74e263ddf5 v8.2.0715 a3e78893a90b36b935cada9c082bcd5de270ee96 v8.2.0716 +23188ef99fc22cf781c71e936f0165122de7e897 v8.2.0717