# HG changeset patch # User Bram Moolenaar # Date 1588869905 -7200 # Node ID fe9a1cad4ea4587e1fe989afeb9d6b5e5ff46c92 # Parent 244eb8d8d100e216cd94b4cf6b212088bac6cf65 Added tag v8.2.0712 for changeset 244eb8d8d100e216cd94b4cf6b212088bac6cf65 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20763,3 +20763,4 @@ 9a5e2370df0ea3ed8421d61ace0fa55acc301847 ad6949eaa1c7d1ab9f20b90eed474616eb427e33 v8.2.0709 cae01dabd78e679e3f2170a7bf9781d10ca3fc3e v8.2.0710 05b4efb062a709df4be78c8338701f77dc7e5014 v8.2.0711 +244eb8d8d100e216cd94b4cf6b212088bac6cf65 v8.2.0712