# HG changeset patch # User Bram Moolenaar # Date 1588883404 -7200 # Node ID b08c6631d3f293c6f7ae4bd5fc27db53c7dd43df # Parent 3cbcee39fc5c4d1ce0252d4dff7199be1ef783be Added tag v8.2.0714 for changeset 3cbcee39fc5c4d1ce0252d4dff7199be1ef783be diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -20765,3 +20765,4 @@ cae01dabd78e679e3f2170a7bf9781d10ca3fc3e 05b4efb062a709df4be78c8338701f77dc7e5014 v8.2.0711 244eb8d8d100e216cd94b4cf6b212088bac6cf65 v8.2.0712 190ffc6453d47862b11ddbd638be48eb63354478 v8.2.0713 +3cbcee39fc5c4d1ce0252d4dff7199be1ef783be v8.2.0714