patch 7.4.1496

Problem: Crash when built with GUI but it's not active. (Dominique Pelle) Solution: Check gui.in_use.
2025-09-23 03:43:49 -04:00 · 2016-03-05 22:19:41 +01:00
parent 802d559431
commit a96909cfaf
2 changed files with 7 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -743,6 +743,8 @@ static char *(features[]) =

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