# HG changeset patch # User Bram Moolenaar # Date 1430728396 -7200 # Node ID 6ea30831ef7498aa567430fb45c608c5f3e4d659 # Parent 5caf46fd6e246bec8a1286ab77faa598d567d988 Added tag v7-4-715 for changeset 5caf46fd6e24 diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -3437,3 +3437,4 @@ 64a32aca791911f33d8efd1cfa5368ae26113b8c f2a751a9ee727831e3f057f359ceab6ddc4ea183 v7-4-712 56e121fd109b2fcd19121b3d3295f9dca75f8aac v7-4-713 de90405940be26a9315d54840c539b9391d16565 v7-4-714 +5caf46fd6e246bec8a1286ab77faa598d567d988 v7-4-715