diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c index 4460fb3cf..0cd661303 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 1b87213bc..c3b632666 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 */ +/**/ + 4839, /**/ 4838, /**/