# HG changeset patch # User Bram Moolenaar # Date 1603214104 -7200 # Node ID 851db792dfa718251ceb68c8ec2fd2fd26d59fe4 # Parent 0dd527d9c62d297adb2692a5f09a2a760821ad2b Added tag v8.2.1872 for changeset 0dd527d9c62d297adb2692a5f09a2a760821ad2b diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -21917,3 +21917,4 @@ 5bd53bf6383660070790b4f01ef303ab41a9d906 6dce588f7a46688d18b0d17f5abbe542746d1c06 v8.2.1869 71b57779177d6c0803273fa713133d7b71ded5a7 v8.2.1870 13904ca59f96259a287dac6e8bc3a5deef50429a v8.2.1871 +0dd527d9c62d297adb2692a5f09a2a760821ad2b v8.2.1872