patch 7.4.1803

Problem: GTK3 doesn't handle menu separaters properly. Solution: Use gtk_separator_menu_item_new(). (Kazunobu Kuriyama)
2016-04-30 13:26:14 +02:00
parent 6be8c8e165
commit 0b6cf69c03
2 changed files with 6 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -753,6 +753,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1803,
 /**/
    1802,
 /**/