diff --git a/src/gui_w32.c b/src/gui_w32.c
index 82ca7de..2c665cb 100644
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -2050,7 +2050,6 @@
     int
 gui_mch_wait_for_chars(int wtime)
 {
-    MSG		msg;
     int		focus;
 
     s_timed_out = FALSE;
diff --git a/src/version.c b/src/version.c
index 3c04195..cb40b29 100644
--- a/src/version.c
+++ b/src/version.c
@@ -754,6 +754,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1874,
+/**/
     1873,
 /**/
     1872,