patch 8.0.1021: older Gnome terminal still echoes t_RC

Problem: Older Gnome terminal still echoes t_RC. (Fracois Ingelrest) Solution: Check for version > 3000 instead of 4000.
2017-08-30 18:59:03 +02:00
parent 0f0f230012
commit dc5471d482
2 changed files with 6 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

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