patch 7.4.1409

Problem: Configure includes GUI despite --disable-gui flag. Solution: Add SKIP_GTK3. (Kazunobu Kuriyama)
2025-09-23 03:43:49 -04:00 · 2016-02-23 22:30:31 +01:00
parent 3ea0f1ae31
commit 1858a842af
3 changed files with 4 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -748,6 +748,8 @@ static char *(features[]) =

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