# HG changeset patch # User Bram Moolenaar # Date 1584724505 -3600 # Node ID 16aa117306ec6859c3c7938e5fb72077a2c25a59 # Parent c94c103e7cb4ec0066c253b4eb63f4e7664a3714 Added tag v8.2.0417 for changeset c94c103e7cb4ec0066c253b4eb63f4e7664a3714 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20472,3 +20472,4 @@ 8514e8b7e661eb9de3dab948617c224f26ad1c69 e73167dd8cac4f84af5142c89c3a002a9d28fbb6 v8.2.0414 de7c724bf803039f672a295facd9f42f33cee953 v8.2.0415 a659d390d3fdae973f984f1c458715cac44130a7 v8.2.0416 +c94c103e7cb4ec0066c253b4eb63f4e7664a3714 v8.2.0417