# HG changeset patch # User Bram Moolenaar # Date 1556915406 -7200 # Node ID 816e05c23ddcb14eeb319f8d08a8b12dcbaac110 # Parent 5256c1e27ea69d70248a3a990c42279aa7697762 Added tag v8.1.1258 for changeset 5256c1e27ea69d70248a3a990c42279aa7697762 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18896,3 +18896,4 @@ 5273b506b05088c5b7cde949ad468057ebaa58a2 17f5563d128560fae842026231d9be6d0f6bd041 v8.1.1255 28e3ba82d8c8a202a011fe8b24883d23bb785c36 v8.1.1256 7c6fe15778cfc20abff9d72cad340f08f454c3a1 v8.1.1257 +5256c1e27ea69d70248a3a990c42279aa7697762 v8.1.1258