patch 8.1.0840: getchar(0) never returns a character in the terminal

Problem: getchar(0) never returns a character in the terminal. Solution: Call wait_func() at least once.
2019-01-28 22:32:58 +01:00
parent f58d81a187
commit 12dfc9eef1
7 changed files with 36 additions and 13 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -783,6 +783,8 @@ static char *(features[]) =

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