patch 8.0.1712: terminal scrollback is not limited

Problem: Terminal scrollback is not limited. Solution: Add the 'terminalscroll' option.
2018-04-14 18:14:06 +02:00
parent a42d363bac
commit 8c041b6b95
6 changed files with 54 additions and 7 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -762,6 +762,8 @@ static char *(features[]) =

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