diff options
| -rw-r--r-- | src/gui_gtk_x11.c | 2 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 4460fb3cf7..0cd6613032 100644 --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -1314,7 +1314,7 @@ key_press_event(GtkWidget *widget UNUSED, #if defined(FEAT_XIM) || GTK_CHECK_VERSION(3,0,0) static gboolean key_release_event(GtkWidget *widget UNUSED, - GdkEventKey *event, + GdkEventKey *event UNUSED, gpointer data UNUSED) { # if defined(FEAT_XIM) diff --git a/src/version.c b/src/version.c index 1b87213bc2..c3b6326669 100644 --- a/src/version.c +++ b/src/version.c @@ -747,6 +747,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4839, +/**/ 4838, /**/ 4837, |