patch 8.2.0472: terminal highlight name is set twice, leaking memory

Problem: Terminal highlight name is set twice, leaking memory. Solution: Delete one.
2020-03-28 22:37:14 +01:00
parent a30590d3e7
commit 360bdbda81
2 changed files with 2 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -738,6 +738,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    472,
 /**/
    471,
 /**/