# HG changeset patch # User Bram Moolenaar # Date 1546895705 -3600 # Node ID 0351fa7879f9a87e3f7dfc8b893e11214f3c20cd # Parent 7444fffa482d44cf73d51dcef940e89f0719087b Added tag v8.1.0702 for changeset 7444fffa482d44cf73d51dcef940e89f0719087b diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -18345,3 +18345,4 @@ f62d6bd18a49bfccc4a81d7d26301fe7bfa949b1 87a0e3c3734c8eff8b0c1f2041bf0b4f7653f2af v8.1.0699 a4fb69fd62a6a23fcd00af4cded56089dba853d9 v8.1.0700 317846db300a8c71f21ee1834f06ad11d4aef994 v8.1.0701 +7444fffa482d44cf73d51dcef940e89f0719087b v8.1.0702