# HG changeset patch # User Bram Moolenaar # Date 1584647104 -3600 # Node ID 603a5ebd1814dd0e805049b6634d67dd0e703fc0 # Parent de7c724bf803039f672a295facd9f42f33cee953 Added tag v8.2.0415 for changeset de7c724bf803039f672a295facd9f42f33cee953 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20470,3 +20470,4 @@ c85d1e043d160dfddd29fb8a6552d087e46cc45b 831a3f3be6f4330efd5ab2846ee6627fe3daa5b4 v8.2.0412 8514e8b7e661eb9de3dab948617c224f26ad1c69 v8.2.0413 e73167dd8cac4f84af5142c89c3a002a9d28fbb6 v8.2.0414 +de7c724bf803039f672a295facd9f42f33cee953 v8.2.0415