patch 7.4.1409
Problem: Configure includes GUI despite --disable-gui flag.
Solution: Add SKIP_GTK3. (Kazunobu Kuriyama)
diff --git a/src/auto/configure b/src/auto/configure
index 1b3b0c7..a528ccb 100755
--- a/src/auto/configure
+++ b/src/auto/configure
@@ -8545,6 +8545,7 @@
sed 's/[ _+-]//g;y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/'`
SKIP_GTK2=YES
+SKIP_GTK3=YES
SKIP_GNOME=YES
SKIP_MOTIF=YES
SKIP_ATHENA=YES
diff --git a/src/configure.in b/src/configure.in
index 930278c..acbccde 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -2207,6 +2207,7 @@
dnl Skip everything by default.
SKIP_GTK2=YES
+SKIP_GTK3=YES
SKIP_GNOME=YES
SKIP_MOTIF=YES
SKIP_ATHENA=YES
diff --git a/src/version.c b/src/version.c
index 927e0b2..f1edf36 100644
--- a/src/version.c
+++ b/src/version.c
@@ -749,6 +749,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1409,
+/**/
1408,
/**/
1407,