# HG changeset patch # User Bram Moolenaar # Date 1588870804 -7200 # Node ID 495753de724bf6665aabe68ce1717f89dac51c49 # Parent 190ffc6453d47862b11ddbd638be48eb63354478 Added tag v8.2.0713 for changeset 190ffc6453d47862b11ddbd638be48eb63354478 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20764,3 +20764,4 @@ ad6949eaa1c7d1ab9f20b90eed474616eb427e33 cae01dabd78e679e3f2170a7bf9781d10ca3fc3e v8.2.0710 05b4efb062a709df4be78c8338701f77dc7e5014 v8.2.0711 244eb8d8d100e216cd94b4cf6b212088bac6cf65 v8.2.0712 +190ffc6453d47862b11ddbd638be48eb63354478 v8.2.0713