# HG changeset patch # User Bram Moolenaar # Date 1588869904 -7200 # Node ID 0742d56da9b268437cf781396567594a7b0798b6 # Parent 05b4efb062a709df4be78c8338701f77dc7e5014 Added tag v8.2.0711 for changeset 05b4efb062a709df4be78c8338701f77dc7e5014 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20762,3 +20762,4 @@ 98e7b880b7b1f1ecd96c6368c9d010a28af1155b 9a5e2370df0ea3ed8421d61ace0fa55acc301847 v8.2.0708 ad6949eaa1c7d1ab9f20b90eed474616eb427e33 v8.2.0709 cae01dabd78e679e3f2170a7bf9781d10ca3fc3e v8.2.0710 +05b4efb062a709df4be78c8338701f77dc7e5014 v8.2.0711