commit 98fd66d311a62133c835307dc7692763dfa32c69
author Bram Moolenaar <Bram@vim.org> Sat Aug 05 19:34:47 2017 +0200
committer Bram Moolenaar <Bram@vim.org> Sat Aug 05 19:34:47 2017 +0200
tree 478b884a33d599ca23ff69f50bdb4a5afe4144f4
parent 086d535f775da1abc557f5f28d101ff3308dc18f

patch 8.0.0872: no mouse scroll with a terminal window

Problem:    Using mouse scroll while a terminal window has focus and the mouse
            pointer is on another window does not work.  Same for focus in a
            non-terminal window ahd the mouse pointer is over a terminal
            window.
Solution:   Send the scroll action to the right window.

src/version.c

diff --git a/src/version.c b/src/version.c
index 758ea20..b3f3eb5 100644
--- a/src/version.c
+++ b/src/version.c
@@ -770,6 +770,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    872,
+/**/
     871,
 /**/
     870,