diff --git a/src/testdir/test_channel_pipe.py b/src/testdir/test_channel_pipe.py
index 5caffcbf9..5202908e7 100644
--- a/src/testdir/test_channel_pipe.py
+++ b/src/testdir/test_channel_pipe.py
@@ -29,6 +29,8 @@ if __name__ == "__main__":
 
     while True:
         typed = sys.stdin.readline()
+        if typed == "":  # EOF -- stop
+            break
         if typed.startswith("quit"):
             print("Goodbye!")
             sys.stdout.flush()
diff --git a/src/version.c b/src/version.c
index 0dc91da61..523791ca0 100644
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    702,
 /**/
     701,
 /**/