patch 7.4.1241

Problem: Missing change in Makefile due to diff mismatch Solution: Update the list of object files.
2016-02-02 19:01:55 +01:00
parent bc07309225
commit 04b08c3de6
2 changed files with 10 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

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