updated for version 7.3.417

Problem:    Test 43 fails with a tiny build.
Solution:   Only run test 43 with at least a small build.

diff --git a/src/version.c b/src/version.c
index 4e78bd7131f5643656748ec8ab118ee327cae5cc..2d82cd80c7bd19775a89717aa4de443481a90ef7 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -714,6 +714,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    417,
 /**/
     416,
 /**/