# HG changeset patch # User Bram Moolenaar # Date 1588883405 -7200 # Node ID 7ea9952906920f1c142408155dfa855b2ac99b31 # Parent e501e32a892f57884441097196a4ea74e263ddf5 Added tag v8.2.0715 for changeset e501e32a892f57884441097196a4ea74e263ddf5 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20766,3 +20766,4 @@ 05b4efb062a709df4be78c8338701f77dc7e5014 244eb8d8d100e216cd94b4cf6b212088bac6cf65 v8.2.0712 190ffc6453d47862b11ddbd638be48eb63354478 v8.2.0713 3cbcee39fc5c4d1ce0252d4dff7199be1ef783be v8.2.0714 +e501e32a892f57884441097196a4ea74e263ddf5 v8.2.0715