# HG changeset patch # User Bram Moolenaar # Date 1600795805 -7200 # Node ID 19139cc50651be831663d133f33ac7733cb386e1 # Parent 889143dbe2cd380c319664d8bbc194429f18cad0 Added tag v8.2.1725 for changeset 889143dbe2cd380c319664d8bbc194429f18cad0 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -21772,3 +21772,4 @@ 82192df9f18f68e3ab053b6b3543b29cd36c994f 712bc35842aa0753b5dc802785977b4743ead9c9 v8.2.1722 b66a2e046c2e4c53ba71febbae205433c109b3f5 v8.2.1723 4c488004edbc8b6d5452eb564cb9fe3d093d581f v8.2.1724 +889143dbe2cd380c319664d8bbc194429f18cad0 v8.2.1725